Another stray litreal
Another stray <programlisting>
Remove some informalexamples
REmove another table
Convert remaining examples to links