WHATWG Encoding API