static S dropBracketPrefix(S s) {
  s = s.trim();
  if (s.startsWith("[")) {
    int i = s.indexOf(']');
    ret s.substring(i+1).trim();
  }
  ret s;
}