Mozilla Firefoxでユーザースクリプトを実現するための拡張機能（Add-on）のGreasemonkeyをインストールしました。
XREAの障害メンテナンス情報のページで混雑具合などを確認をすることがあるのですが、全サーバーが表示されるため、見づらくて仕方ありません。Greasemonkey用のユーザースクリプトを使うと、サーバーを選択して（自分が契約しているサーバーだけを選択して）表示できるとのことで、さっそくインストールを行うことにしました。
Greasemonkeyおよびユーザースクリプトのインストールについては、「Greasemonkey入門 ～よくわかるグリースモンキーの使い方 ～ | Google Mania – グーグルの便利な使い方」を参考にして行いました。
インストール後、ユーザースクリプトを実行してみました。自分が選択したサーバー（ユーザースクリプトに記述したサーバー）のみ情報が表示され、確認もしやすくなりました。いやあ、とっても便利です。上記記事で紹介されているユーザースクリプトダウンロードサイトのUserscripts.orgで他にも便利なユーザースクリプトを見つけて、カスタマイズしてみたいと思います。
