static CloseableIterableIterator<S> linesFromFile(File f) ctex {
  if (!f.exists()) ret emptyIterableIterator();
  if (ewic(f.getName(), ".gz"))
    ret linesFromReader(utf8bufferedReader(newGZIPInputStream(f)));
  ret linesFromReader(utf8bufferedReader(f));
}