But seeing maartenmkīs comment too, maybe the menubutton should be controlled by a new entry in the settings, that would make it easy for anyone to just put whatever they want on that button.