The GNOME extension adds a global menu to the desktop’s top panel, including for some apps that have no menu bar of their own.