https://www.omgubuntu.co.uk/2017/09/gnome-global-menu-extension-discontinued