Ich hab das Problem ENDLICH gefunden... das ist ziemlich böse, und zwar lags an einer Einstellung in "gnome-tweaks":
Das mit "Ort des Zeigers" macht die Strg-Taste komplett kaputt. Hatte jetzt auch Probleme mit guake (das ich gerade durch tdrop + kitty ersetze), weil ich da auf "close when focus lost" umgestellt habe. Und siehe da, ich kann Strg wieder verwenden.