[暴満館] OperaUserScriptManager v0.20に，スクリプトのアップデート機能とかが追加されてかなり便利になってます．

ウチの子は時間が取れなくてしばらくリリースできそうに無いので，「2歩も3歩も先を行ってて，悔しいっ！びくっびくっっ．」とかいいながらしばらく使ってみようかと思います．．