Handle maybe autolinks better. Format the contents of <pre class='prod'> correctly.
Fix and expand the syntax highlighting.