Update idxfile.php.dist examples.