Restore the changes from commit 5b9ef1ad.

Now that Frog has fixed its HTML output of <pre> elements, and any
elements nested within them.