I'm sorry for the random bits of downtime recently, along with the very slow download speeds for some files among other issues. We recently had some hardware issues that should now be addressed. We've additionally made some more hardware upgrades to our servers to improve download speeds especially on frequently accessed files, among other improvements to help the site itself hopefully feel much more responsive even during peak hours and periods high loads.