Unless I'm missing something, I thought the Code tags in the Filtered HTML input format was designed to allow users to post code snippets which would then be shown as text in their post, without them getting filtered out?

For example, a chunk of javascript code surrounded by CODE tags, should display in its entireity, so other visitors can copy/paste the code for their own use? Or html code surrounded by CODE tags for the same purpose?

This doesn't appear to work? Every time I try this on my drupal 5 test site, the code vanishes...