mrueg@gentoo.org Manuel RĂ¼ger tex@gentoo.org Gentoo TeX Project Use phonon for video embedding texstudio