Our right alt key is used as altgr, so we have to use that one for “third level” special characters, and the left alt for shortcuts! It’s rather annoying; I kind of miss the Mac way of doing it where both alts were for both special characters and shortcuts.

– Frost

Ooh thanks! We’d need a drill to use that though, right?