static LS sliceDump_pageNames(File f) {
  new LS names;
  temp CloseableIterableIterator<S> it = linesFromFile(f);
  while (it.hasNext()) {
    S s = it.next();
    if (!startsWith(s, '"')) break;
    names.add(unquote(s));
  }
  ret names;
}