Post

Slightly more seriously, I am firmly against any hotkey which is only a single button press by default and I frequently touch a key or accidentally unfocus a text box frequently enough on GitHub that randomly changing the UI is genuine problem for me. Just do Alt+. or something.