static S dropLeadingSquareBracketStuff(S s) {
  ret trimSubstring(s, indexOf(s, ']')+1);
}