static S ocr_joinAsGrouped(L<S> l) {
  new StringBuilder buf;
  for (S s : l)
    if (l(s) != 1)
      buf.append("[").append(s).append("]");
    else
      buf.append(s);
  ret str(buf);
}