True. I'm not used to ALT GR nor the right CTRL, so I haven't even thought of using the latter. :tongue: Plus, using CTRL hopefully would make no difference to people like me, since the left one is close to ALT anyway.

* cold edits his posts 24/7