Code Filter should not strip HTML <!--comments-->

The Code Filter module currently strips HTML comments from between the <code></code> tags. This can be confusing, as it may be important to annotate HTML using comments inside code blocks.

To see the module removing HTML comments, please see my issue for filter.module: #343236: HTML corrector encodes (entifies) <!--break--> tag. Note how the text "<!--break-->" was stripped from between the <code></code> tags.