tex@gentoo.org Gentoo TeX Project Use phonon for video embedding texstudio-org/texstudio https://github.com/texstudio-org/texstudio/blob/master/utilities/manual/CHANGELOG.txt