static Reader readerForFile(File f) ctex {
  assertTrue("File not found", f.exists());
  if (ewic(f.getName(), ".gz"))
    ret utf8bufferedReader(newGZIPInputStream(f));
  ret utf8bufferedReader(f);
}