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