a110615d80
outside <para></para>. Some other minor adjustments around <screen></screen> tags. Discussed on: -doc (in the context of doc/)