The funny thing is correctly using <br> actually produces shorter HTML than the grossly unsemantic (and certainly doesn’t render nicely) <pre> suggestion, at le

The funny thing is correctly using <br> actually produces shorter HTML than the grossly unsemantic (and certainly doesn’t render nicely) <pre> suggestion, at least in the given example.