static File dropExtension(File f) {
  ret f == null ? null : fileInSameDir(f, dropExtension(f.getName()));
}

sS dropExtension(S s) {
  ret takeFirst(s, smartLastIndexOf(s, '.'));
}