valent: These aren't complete instructions, this only installs mintmanu package but doesn't add it to Gnome panel. Do you have instructions or a script that removes Gnome app menu and replaces it with MintMenu?