Removal of Categories in Gnome Shell? Won't happen!

woGue: There were lot of voices against the replacement of categories with pagination, and that was another controversial feature originally planned for Gnome 3.6. Guess what. It won't happen.