NSAttributedString to and from encoded HTML