Convert all HTML entities within <pre> tags?

Ruby Apps Redcloth
1

Textile 2.0.0:
bc. This is within a block of code, so < and > should be entities.
You can talk about a

tag if you wish and it will be properly
escaped.

You can't make something actually bold within.

Output:

This is within a block of code, so < and > should be
*entities*.  You can talk about a <p> tag if you wish and it
will be properly escaped.

You can't make something actually <b>bold</b> within.

What do you all think? Is it better to automatically escape entities
within blocks of code like Texile2 does (and SRC currently does
not)? I’m wondering if we should allow entities within blocks of
code to pass through SRC untouched. 

bold
is valid
HTML, but if it’s automatically converted into 
<b&:gt;…,

there’s no way to have tags inside your pre tag.  On the other hand,

if we do that, you can’t just paste in HTML and know it’ll come out

looking fine… you’ll have to convert the entities yourself.

Which way should SuperRedCloth go?


Jason