Set html encoding, fix invalid instruction handling in debugger.