games@gentoo.org Gentoo Games Project Install Python-based GTK menu