Ubuntu gnome move menu to the top in maximize mode

https://extensions.gnome.org/extension/723/pixel-saver/

Use it from mozilla firefox.