static S dropPrefixOrNull(S prefix, S s) {
  ret s != null && s.startsWith(prefix) ? s.substring(l(prefix)) : null;
}