“Disponibilizado um pacote RPM para Fedora 13 64bits do GnoMenu. GnoMenu é um novo menu para o Gnome, com maiores opções de personalização e várias outras características interessantes.” [referência: gnurockreggae.blogspot.com]