早速試してみた。 全部で20GB少々のディスク使用状況で、350MB程のインデックスファイルが出来上がった。所要時間は４時間少々。インデックスは一度作ってしまえばいいらしいけど。 さすがのGoogle先生、あっという間に答えが返ってくる。なんとなく日本語も…