7.1-release had a 'top' item in the GNOME/Utilities menu. This seems to have disappeared in the rawhide version of procps. Is this intentional?
Yes. We're removing most non-gui apps from the gnome menus.