I can't assign the menu key to anything. It's a useful alternative to alt+F2 Sadly this has been broken for years now (but was working for years longer before that). I can use 'the xmodmap -e "keycode 135 = F13"' workaround but it shouldn't be necessary Reproducible: Always
*** This bug has been marked as a duplicate of bug 165542 ***