The following two source boxes give the same output:
<source><a href="what.html">what</a></source> <source><![CDATA[<a href="what.html">what</a>]]></source>
ie the html characters are incorrectly escaped in the first version.
Fixed in r752148.
Fixed in r752148.