sS dropAfterLastSlashOrEmpty(S s) {
  if (s == null) null;
  int i = s.lastIndexOf('/');
  ret i < 0 ? "" : rtrim(substring(s, 0, i));
}