sbool indexedSimpleWikipedia_magicMap_debug;

srecord WikiPage(S title, S text) {}

static Map<S, WikiPage> indexedSimpleWikipedia_magicMap(final Map<S, IndexedWikiPage> map) {
  final File f = unpackSimpleWikipedia();
  Map<S, WikiPage> actualMap = new TreeMap<S, WikiPage>(caseInsensitiveComparator()) {
    public WikiPage get(O title) {
      IndexedWikiPage ip = map.get(title);
      if (ip == null) null;
      
      S xml = loadTextFilePart(f, ip.start, ip.start+ip.len);
      if (indexedSimpleWikipedia_magicMap_debug) {
        print("Loaded from " + ip.start + " to " + (ip.start+ip.len));
        printIndent(xml);
      }
      
      L<S> tok = htmlTok(xml);
      S realTitle = trim(htmldecode(join(contentsOfContainerTag(tok, "title"))));
      S text = trim(htmldecode(join(contentsOfContainerTag(tok, "text"))));
      ret WikiPage(realTitle, text);
    }
  };
  for (S title : keys(map))
    actualMap.put(title, null); // dummy entry to have key
  ret actualMap;
}

Began life as a copy of #1014162