kde@gentoo.org Gentoo KDE Project tex@gentoo.org Gentoo TeX Project kile https://bugs.kde.org/