Replacements for all named entitied of HTML

(Generated with the help of tools/htmlmathml-f-ent-to-awk.pl)

Author: bert-github