You may have missed seeing that I have used the
<pre> tags in some posts here. Unfortunately, one cannot drop code into
<pre> ... </pre> tags any better than the
<code> tags. In fact, the
<pre> tags require more intrusive code adjustments yet--all of the HTML tags have to be converted to HTML-entities or they will simply become tags used for the post itself. In other words, either way involves HTML-entities. Try out the feature and you will see that this is so.