Go through all man pages to conform to the style of tags chosen in
93
[[http://svn.debian.org/wsvn/debian-xml-sgml/packages/docbook-xsl/trunk/debian/examples/foo.1.example_manpage.xml?op=file&rev=0&sc=0][foo.1.example_manpage.xml]]. In particular:
94
*** SYNOPSIS
95
<arg> with inner <option> and <replaceable> tags
96
Unify long and short options.
97
**** DONE mandos-clients.conf.xml
98
**** DONE mandos-keygen.xml
99
**** DONE mandos.conf.xml
100
**** DONE mandos.xml
101
**** DONE plugin-runner.xml
102
**** DONE plugins.d/password-prompt.xml
103
**** DONE plugins.d/password-request.xml
104
*** OPTIONS
105
Separate <term> tags with <option> and <replaceable> tags.