gnome@gentoo.org Gentoo GNOME Desktop GNOME/devhelp Install plugin for app-editors/gedit gentoo-staging