I haven't been clear on the right use of monospacing tags here, either--
for instance, why <CODE> is preferred to <PRE>.

Tags like <KBD> and <CODE> are normally used for monospacing
in-line. If you wrap a multi-line block of text in <CODE> tags, you expect
the line breaks to disappear when the HTML file is displayed
in the browser unless you also add <BR> tags at the end of each line.

But wrap that same text in <PRE></PRE>, and the line breaks are
handled fine without need for <BR> tags.

I recall hearing a while ago here that the site turns <CODE> into <PRE>--
but then wouldn't that be the wrong thing to do when the intent was
to add monospaced text in-line?