It looks as if text within <pre> </pre> tags is no longer formatted correctly. Implicit line feeds are no longer honoured, so any multiline text comes out as a mess. Using r12932, but r12923 is also broken. r12898 is all right, so it has happened within the last day or so.
--
Chris Johnson
