C’est… un script JS à exécuter via Tampermonkey. Pas exactement ce que j’appellerais un « plugin »
.
Il est sûrement possible de copier la logique de la touche MAJUSCULE et de la remplacer en fonction d’une préférence utilisateur ? Cela semble compliqué, cependant.
Enfin, si ça marche, ça marche. Je suis surpris que cela puisse être fait avec du JS. Je vois qu’il utilise preventDefault(). Solution intéressante, cependant !