static S fileExtension(File f) {
  if (f == null) null;
  ret fileExtension(f.getName());
}

static S fileExtension(S s) {
  ret substring(s, smartLastIndexOf(s, '.'));
}