* add y to _F_gnome_devel
gnome-shell-extension-autohidetopbar-2.0-3-x86_64
* Move to gnome-extra