or does the pre tag double-space the lines?
So does the [\code] tag.

The internals of the BBS treats both the same. The issue is that it parses line breaks and adds the <BR> tags manually, then your browser gets the <PRE> tags and doublespaces since the <BR> is there. More then a simple hack job to fix unfortunatly, hopefully 6.2 tries to address it.