Allowed for HTML entities in attribute names

The editor may insert HTML entities into attribute names. Now take
account of this everywhere in code.
Corrected Version Number in the heading
Merge branch 'Version-1.0a4'