static bool fileExtensionIs(File f, S ext) {
  ret f != null && ewic(f.getName(), addPrefix(".", ext));
}