bug in download page?

in downloads.php I get the following html code: <h2>Complete Source Code</h2> <ul> <li><a href="http://gr.php.net//do_download.php?download_file=php-4.2.2.tar.bz2 ">PHP 4.2.2 (tar.bz2)</a> [2,654Kb] - 22 July 2002</li> <li><a href="http://gr.php.net//do_download.php?download_file=php-4.2.2.tar.gz" >PHP 4.2.2 (tar.gz)</a> [3,319Kb] - 22 July 2002</li> </ul> <h2>Patches to latest version</h2> <ul> <li><a href="/do_download.php?download_file=php-4.2.0-to-4.2.2.patch.gz">PHP 4.2.0 to 4.2.2 patch</a> [313Kb] - 22 July 2002<br> This unified diff will enable you to update your local PHP source to the latest version from 4.2.0.</li> <li><a href="/do_download.php?download_file=php-4.2.1-to-4.2.2.patch.gz">PHP 4.2.1 to 4.2.2 patch</a> [52Kb] - 22 July 2002<br> This unified diff will enable you to update your local PHP source to the latest version from 4.2.1.</li> </ul> This is on my mirror site (gr2.php.net). It changes the gr2.php.net to gr.php.net. Same happens from it2.php.net/downloads.php which makes sense but this way nobody can download the binaries from gr2.php.net. Spyros