>>693-694
ありがとうございます
Greasemonkeyだと落ちないのですね。早速移行を検討してみたいと思います

ただ、Greasemonkeyに移行するにあたって気になることがあるのですが、
Greasemonkeyってウェブサイトを表示するたびに毎回、〜.user.jsファイルを読み込みにいく仕様だと以前聞いたことがあって
ブラウジングが重くなりそうなので、一部のスクリプトが動作しないのを承知で軽そうなUserScriptLoaderを使い続けてきたという経緯があるのですが
その辺の重さ軽さの問題というのはどうなのでしょうか？

UserScriptLoaderからGreasemonkeyに移行して重くなったと感じられたことはありませんか？？