>>706-707
ローカル側の.user.jsに
>>707 の修正
// @installURL https://userscripts.org/scripts/source/136812.user.js
// @downloadURL https://userscripts.org/scripts/source/136812.meta.js
// @updateURL https://userscripts.org/scripts/source/136812.meta.js
をしようと思って、
アドオンマネージャ開いてみたら、
いつの間にか最新バージョン(version1.4.2→1.5)に更新されてた。

手動では更新した覚えはないので(おそらく)、
>>691の
// @installURL http://userscripts.org/scripts/source/136812.user.js
// @updateURL http://userscripts.org/scripts/source/136812.meta.js
の状態で自動更新がされたっぽい(アドオンマネージャの歯車アイコンの"アドオンを自動的に更新"にチェックが入ってたんで)。

サーバ側の.user.jsファイルは
// @installURL https://userscripts.org/scripts/source/136812.user.js
// @downloadURL https://userscripts.org/scripts/source/136812.meta.js
// @updateURL https://userscripts.org/scripts/source/136812.meta.js

テストするローカル側の.user.jsファイルの方は
// @installURL https://userscripts.org/scripts/source/136812.user.js
// @downloadURL https://userscripts.org/scripts/source/136812.meta.js
// @updateURL https://userscripts.org/scripts/source/136812.meta.js

のままにして、もうちょっと様子をみてみることにする。