static S nlToBr(S s) {
  ret s.replace("\n", "<br>\n");
}