A follow up of #103: treats Alt+Ctrl as AltGr.