static File downloadSimpleWikipedia() {
  File f = getProgramFile(#1008009, "simplewiki-latest-pages-articles.xml.bz2");
  if (fileSize(f) == 0)
    loadBinaryPageToFile(
"https://dumps.wikimedia.org/simplewiki/latest/simplewiki-latest-pages-articles.xml.bz2", f);
  print("Wikipedia downloaded. Got " + fileSize(f) + " bytes.");
  ret f;
}