>>> div = document.createElement('div')

<div>

>>> div.innerHTML = '<pre>\n\n\nFoo</pre>'

"<pre>


Foo</pre>"

>>> div.innerHTML = div.innerHTML

"<pre>

Foo</pre>"

>>> div.innerHTML = div.innerHTML

"<pre>
Foo</pre>"

>>> div.innerHTML = div.innerHTML

"<pre>Foo</pre>"

>>> div.innerHTML = div.innerHTML

"<pre>Foo</pre>"