There are two distinct, non-conflicting keys named "Menu"

evdev IDs 127 (KEY_COMPOSE) and 137 (KEY_MENU) map to separate IDs that are both referred to as “Menu” in-game. This is a bit confusing, so either they should be merged or distinct names should be assigned.