Console regressions

Using a US-International layout:

• Pressing the console key will sometimes not open/close the console, but pressing another key afterwards will do that instead. This seems to happen less if the Esc key is used to close the console.

• The first input after opening the console often gets ignored, and yet the console key still gets typed sometimes.