Das ist… ein JS-Skript, das über Tampermonkey ausgeführt wird. Nicht gerade das, was ich als „Plugin“ bezeichnen würde 
.
Sicherlich ist es möglich, die Logik der SHIFT-Taste zu kopieren und sie basierend auf einer Benutzereinstellung zu überschreiben? Scheint aber kompliziert zu sein.
Ach ja, wenn es funktioniert, dann funktioniert es. Ich bin überrascht, dass das mit JS gemacht werden konnte. Ich sehe, dass es preventDefault() verwendet. Interessante Lösung, allerdings!