UNI/HTML: add encoding argument to read_html