https://neunetz.com/2007/02/21/firefox-menueditor-eine-must-have-erweiterung-nicht-nur-fuer-erweiterungsfetischisten/