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"!