背景 Firefox には greasemonkey という便利なスクリプトマネージャがある（Greasespotを参照）。もちろん Safari にも GreaseKit というスクリプトマネージャがあって、JavaScript を Safari でも利用できるのだが、どういうわけか、Safari 5.1 あたりから…