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