Orbit Global Menu: A working global menu addon for GNOME

We love this, but suspect this is the Marmite of GNOME extensions