How to get gnome3 Applications Menu

Sun Jul 3 16:02:02 UTC 2016

I'm not using GNOME, but a quick Internet research lead to:

https://extensions.gnome.org/extension/6/applications-menu/
http://linuxbsdos.com/2012/08/20/top-3-applications-menu-extensions-for-gnome-3/

http://portsmon.freebsd.org/portoverview.py?category=x11&portname=gnome-shell-extensions

Or https://extensions.gnome.org/ and in the search type: menu

If GNOME still provides a panel, there might be a right click menu to
add extensions, assumed they are installed, but I don't know.