Yup, that's it - well, not quite. And not *just* that.
Da Kime asks:
Did you manually change them to or ... something else?
I did indeed change them to ... But not *quite* manually: Heard of 'Copy-and-Paste' (into, say, NotePad) and 'Search-and-Replace', have you?
But first, you need to use
<tt> / </tt> tags in stead of
<pre> / </pre> tags. Oh, and I think I may have semi-manually replaced the line breaks with
<br> tags -- you might say *that's* the main trick, since the doubled line breaks were what we were trying to get rid of in the first place.
Though I'm surprised that you even ask: "Use the source, Luke!" -- "View Source is your friend"!