Replace thin space entities with Unicode thin spaces

No need to be using entities. Also, this reduces the incidence of
non-XML entities, towards #433.