escape text in HTML console