`programlisting` within `note` doesn't render properly - I will move it out of note.