On Thu, Jul 18, 2013 at 02:31:38PM +0100, Victor Lazzarini wrote:
> The manual is in XML/docbook.
> 
OK, I know nothing about this format, so I will need to learn at least the
basics before committing myself.
Once I have acquired a few skills, should I join the dev list to determine what
should be done?

Best,

Alexandre