ui: html-encoding text all over the ui (and beautifying links if any)