python3-webencodings: Python implementation of WHATWG Encoding standard