Decode all HTML entities for quotes

It seems that PHP does *not* really handle numeric entities decoding
with `html_entity_decode()`. Sigh.