Do not html escape code that is going to be highlighted (#2985, #3359).
Authored by: jplang 2010-03-14
Parent: [r3581]
Child: [r3583]
