Re: what key between Ctrl & Alt (was: GNOME3 and au revoir...)