> This problem is fixed properly in xkeyboard-config, too. If it's fixed, how come AltGr still behaves like Ctrl+Alt?