What's up with the MapServer website?

[Timothy J Nolte]

I did finally track down that alternative download location using good old
Google cached pages. Thanks. I hope nothing too major happened to the server.