Hi, I'd like to contribute to the documentation of the arts sound system in Debian by completing the man pages for the artsd and related commands. When I had a short look at it, I noticed that these man pages are generated from docbook. I guess sending a patch for them would not be of great use. Can I get the original sources somewhere to work on them? Well, if it is fine to send patches directly for the man pages, I can do so too. Best regards Steffen