[Jtidy-user] line break inserted after <br> (in <pre>)

[Kevin B. <kb...@gm...>]

It looks like this was supposed to have been fixed in htmltidy:
http://osdir.com/ml/web.html-tidy.tracker/2006-04/msg00015.html

Is this working as designed? One should expect linebreaks after <BR>s in
<PRE> tags?