// comments: output list
svoid gazelle_parsePublicRuleOptions(S opt, LS comments) {
  new Matches m;
  for (S s : tok_splitAtComma(opt)) {
    if "with *" if (remoteMechListMirror_isPublic($1))
      comments.add("use helper table mech list " + quote($1));
    if "purpose: ..."
      comments.add(s);
  }
}