pre wasn't right because long lines didn't wrap, the font looked wrong,
etc. so I went back to <div> but added some filters to escape things and
convert "\n" to "<br>".