Clean up releases.php more.