But it should do it that way. <pre> is for raw code listings, and Wikipedia software should neither interpret anything inside it nor leave any HTML characters unescaped.
I disagree. <pre> is for preformatted text, not literal text. <nowiki> is for literal text. <pre> + <nowiki> is for preformatted, literal text. Otherwise you can't have [[...]]-style wiki links inside a <pre> block, which is something people might want, among other things. <pre> in Wikipedia should operate like <pre> in the rest of the world, if we want usin' Wikipedia to be natural and inuitive, that is.
How else would you propose being able to do the equivalent of:
<pre> <pre> a preformatted block of text is looks quite like this </pre> </pre>
if <pre> operated as you suggest?
Derek
_________________________________________________________________ STOP MORE SPAM with the new MSN 8 and get 2 months FREE* http://join.msn.com/?page=features/junkmail