K 10
svn:author
V 3
nik
K 8
svn:date
V 27
1999-01-30T23:35:05.000000Z
K 7
svn:log
V 202
Suddenly realised none of the

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

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

END