ユーザ JavaScript をサイトやドメインを指定して実行できる Firefox の拡張 greasemonkey なんてのがあることを知りました。これは大変に便利です！ ユーザ JS を実行するだけならいままでにも User Script なんてのがあったのですが、greasemonkey は、先…