1. We can easily ship an sqlite db for the complete manual, as we are going to do with all the mirror sites, when livedocs will be ready to handle serving the manual.
Good point (-:
2. We can provide a web service for users to pick their customized manual, and get a customized sqlite db plus the needed XML files in a package.
3. For those, who want more, requiring the full phpdoc build system is not an issue. With #2, we can already expand in areas not thought of before by our kind readers.
These are good ideas. +1 (-: S