Same on GNU/Linux(Debian), except Option is called AltGr.