Suddenly realised none of the

<informalexample>
  <screen>
    ...
  </screen>
</informalexample>

need the <informalexample> element. So remove it. Simple search and
replace does the trick.