- changing encoding of index.html