static S dropPrefixIgnoreCase(S prefix, S s) {
  ret startsWithIgnoreCase(s, prefix) ? s.substring(l(prefix)) : s;
}