doc tweaks: link to http://www.php.net instead of mirrors.