I actually think we don't need to do anything after all; new lines are replaced by spaces in HTML (unless we use `whitespace: pre` in CSS)