[Wikipedia-l] PRE and NOWIKI

[lcrocker at nupedia.com]

In the present software, text inside a <pre> section is not scanned 
for wiki markup--i.e., <pre> implies <nowiki>.  I think this is the 
wrong behavior.  If you want <nowiki>, you can still use it, but I 
think <pre> sections should just output a pre-formatted (i.e., line 
breaks not ignored) section of text; if that section has [[links]] 
and ''quotes'', they should be rendered.

HTML 4.01 is kind of odd on this matter: things like <em> and
<b> are allowed inside <pre> and interpreted, but it specifically
excludes a few things like <img> and <small>.

I seek opinions.