Ich nutze Windows zwar nur an meinem Firmenrechner, aber trotzdem sehr guter Tipp.

right ALT == left ALT + CTRL – Martin Wolf am 08.07.2018