WordPress plugin for shortcodes rendering <code> and <pre><code> with content converted to htmlentities & disabling wptexturize.