すごく雑な駆け足の説明ですが。ファイルインサイトにかけたら「100人未満」とか言われちゃって...。直接ファイル編集できたら便利ですし、知られていなかったらもったいないので紹介してみました。使うよりもいい方法があるよ!って場合はぜひ教えてください。使いたい場合にはデフォルトを変更する必要があります。関連の設定を有効に使うためにもこちらを使うのが良さそうです。globbing.が、白井秀行さんが他のバグも含めて直してコンパイルしてくださったファイルがあるので、それを使うのがお手軽なようです。置き換えてそのまま使えます。だらけの上にまともに動きませんでした。