Added support for digits in attribute names in HTMLElements