それは… Tampermonkey 経由で実行する JS スクリプトですね。『プラグイン』と呼ぶには少し違うかもしれませんが 
。
SHIFT キーのロジックをコピーして、ユーザー設定に基づいて上書きすることは絶対に可能ですよね？でも、複雑そうですね。
まあ、動けばそれでいいか。JS でそれができるとは驚きです。preventDefault() を使っているのが見えます。興味深い解決策ですね！
「いいね！」 3