svoid setText_htmlencode(JLabel c, O text) {
  setText((O) c, hhtml(replace(htmlencode(text), "\n", "<br>"));
}