I have mapped the right CTRL key as the Enter key. This works fine until I use the Enter key on the numeric keypad. After that, the CTRL key no longer works as the Enter key. If I use the Settings icon on the top right to open that dialog, do nothing and close it, the CTRL key starts working as the Enter key again.
I am on 1.2ga5.
Interesting bug! And the description is perfect.
Fixed in 1.2ga6.