configuration.inc on php.net

Hi! As none of the mirror sites require or use databases now (including the main site php.net), and only the $htsearch_prog "config setting" is used from configuration.inc in the PHP scripts, I would like to ask to remove the other information from php.net/configuration.inc (which is not in CVS of course, so I cannot modify it). It can simply be replaced by configuration.inc-dist, which now contains the same htsearch prog path used by php.net... http://www.php.net/source.php?url=/configuration.inc BTW it would be nice to find a way to eliminate this file alltogether, and put the htdig file path into some vhost setting, but PHP unfortunately does not allow users to just invent new PHP.ini settings and put value into them through Apache's httpd.conf, which would be nice in this case, so there would be one place to edit for mirror information... Thanks, Goba