Make HTML encoding of docs UTF-8