For the records, here's the log of today's discussion on #php.doc:
Interesting discussion and progress! There was a question about how to generate the documentation and I feel the MySQL documentation should be like all other topics in the manual, which is edited directly within the phpdoc CVS module. Hannes made good points about why.
Regards, Philip
