More strict rules on anchor character input

only alpha numeric chars and dash and underscore can be used in anchor names, and that they don't start with a number (because anchors are used as HTML ID attributes).
I get that. I want to know if we should support UTF8 or not. Per HTML5 spec, it is allowed. Per HTML4 is not.