> I think 3) is the most feasible solution, but we should synchronize phpdoc
> and Phd_PEAR upgrades to prevent an obvious issue when links in the
> DocBook-based docs are different from those in API docs.
I agree that 3 is the most feasible; and would probably do that first.
But I am worried about incoming links in old documentation a bit.