#7311: fix html.parser to accept non-ASCII attribute values.
3 files changed