static S getAppendedGlobalID(S s) {
  if (!endsWith(s, "]")) null;
  ret regexpFirstGroup("\\[id: ([a-z]{" + globalIDLength() + "})\\]$", s);
}