sS jlabel_textAsHTML(S text) {
  ret hhtml(replace(htmlencode(text), "\n", "<br>");
}