static BufferedReader utf8Reader_possiblyGZipped(File f) {
  ret isGZipFile(f) ? utf8Reader(gzipInputStream(f)) : utf8Reader(f);
}