今更ですけどFirefoxのextensionのGreasemonkeyをインストールしてみました。これは何をするextensionかというと、ページをロードして（おそらく他の全部のJavascriptなどの処理が終わった後で）ユーザーの好きなJavascriptを自動実行させることができるとい…