Added repochecker.php, and removed 404 page.