Comment 212 for bug 221112

FWIW after user complaints I've reverted this change in Debian's xkeyboard-config, to have right control behave normally again.