static JLabel jAutoWidthHTMLLabel(IF0<S> makeContents) {
  JLabel l = topAlignLabel(jlabel());
  ret onResizeAndNow(l, r {
    setText(l, hhtml(hdiv(makeContents!, width := getWidth(l))))
  });
}