I noticed that my mirror download server had some technical problems today. Because of this you may have seen a “Removed” message when you tried downloading files hosted there. The server seems to be up and running again, and I’ve updated the script to show you an error message instead of “Removed” when the server is down. It also informs me that the server is down, so that I can contact my ISP.

If you’ve experienced any problems recently, try the download again.