html.entities: slightly better (looking) docs.