A Gnome Shell extension for hiding the Categories in the Applications Overview