<p> The source code of the user manual (in <a
href="http://www.oasis-open.org/docbook/">DocBook</a> format) is
available from our repository, in the
<p> The source code of the user manual (in <a
href="http://www.oasis-open.org/docbook/">DocBook</a> format) is
available from our repository, in the