ボタンを押すこれで、GitHubのページを開くとファイル拡張子フィルタボタンが出ます。補足のサイトには他にもいろんな拡張がある模様そもそもこれらは、GreaseMonkeyというFireFox用の拡張機能のためのスクリプト(なのでFireFoxユーザーはこっち)ChromeではGreaseMonkeyそのものは使えないので、代わりの拡張機能の一つがTampermonkeyNinjaKitというのもあるが、自分の環境ではインストールポップアップが正常に表示されなかった。requestStockLike7@Shinoda_NaokiFollow株式会社テクロス京都を拠点にソーシャルゲームの開発・運用、その他システム開発を行っています。upLoginユーザーは見つかりませんでした。