Many thanks for that post. I was close to smashing my keyboard through my monitor, because I had constant crashes on random key bindings and couldn’t find the issue. Turns out the editor plugin I wrote some time ago to quickly delete all savegames, had type developer. Changed it to Editor and all keys works fine now.