HTML rendering doesn't preserve newlines by default, so this is shown as
all one line. Our Markdown rendering also doesn't insert line breaks for
single newlines.