textview: now html-encoding text (quoting < and & and detecting links)