wiki-export-split: minor changes
wiki-export-split: noredir option
wiki-export-split: total-files option