Ars Longa, Vita Brevis

Как научить WP CodeBox генерировать правильную разметку

Иногда встречаются люди, повёрнутые на валидности (X)HTML/CSS. Что уж греха таить, я и сам такой временами :-)
Для подсветки синтаксиса я пользуюсь плагином WP-CodeBox. Хорошая вещь, но у него есть один маленький недостаток: разметка, которую он генерирует (и CSS, который он использует, но это другая история), не валидируется.

Проблема в том, что в генерируемом коде

[-]
View Code HTML
<div class="right">
    <a href="###" class="smalltxt" onclick="copycode($('9code2'));">[Copy to clipboard]</a>
    <a class="smalltxt" href="###" onclick="toggle_collapse('92');">[<span id="92_symbol">-</span>]</a>
</div>
<div class="left">
    <span id="l9code2"><a href="#" onclick="javascript:showCodeTxt('9code2'); return false;">View Code</a>MYSQL</span>
</div>

идентификаторы элементов начинаются с цифры (<