HTML Reader: <br> inside <pre> tags is ignored.

[mpickering]

From this stack overflow question.

Input

<pre>
line1 <br> line2
</pre>

command - pandoc -f html -t native

output

[CodeBlock ("",[],[]) "line1  line2"]

expected

[CodeBlock ("", [], []) "line1\nline2"]

Fix: Modify the pCodeBlock function in the HTML Reader.