static S dropActuallyLeadingSquareBracketStuff(S s) {
  ret startsWith(s, "[") ? dropLeadingSquareBracketStuff(s) : s;
}