Ah, I forget that PEAR configs were usually written to do that.  So then, for a PEAR-managed install, the `phpdoc.php` file was never visible in the first place.  So, no worries about the _deprecation usage_.