<html>
  <head>
    <title>Too Busy</title>
  </head>
  <body>
    <h1>Server too busy</h1>
    <p>The server is currently too busy to process your request. 
    Please pick a mirror site for your download.</p>
  </body>
</html>