Thanks for that tip.
Installed it again some weeks ago, and just added the kentie launcher + modern DirectX
Wer die {} für Code braucht, dem sei eh eine ANSI-Tastatur (= US) empfohlen.
Will nie wieder zurück.
Windows? Autohotkey ist dein Freund.
Die Taste unmappen, ggf anderen Shortcut für Print vergeben. Zweizeiler.
Make people switch devices, problem solved. Does not work without tampering with the hardware