Use innerText instead of innerHTML to ensure browser-included <pre> tags...

... are not parsed.