A tiny script to extract current data back from mediawiki
A first attempt to detect aggregates again; also tokenize files only once