Check encoding

[wjdp]

AFAIK UTF-8 is the only sensible choice, error otherwise. (I'd like to be corrected if this assumption is wrong).

W3C:

You should always use the UTF-8 character encoding

• Check the encoding of the actual file
• Check the presence of a meta encoding declaration: <meta charset="utf-8"/> OR <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>, utf-8 OR UTF-8
• (?) Byte-order mark, see https://www.w3.org/International/questions/qa-html-encoding-declarations.en#bom