tex@gentoo.org Gentoo TeX Project Enable video player in pdf files texstudio-org/texstudio https://github.com/texstudio-org/texstudio/blob/master/utilities/manual/source/CHANGELOG.md