You can mess with the application-menu directly by modifying the js extension located at:
/usr/share/gnome-shell/extensions/[email protected]/extension.js

I had...