Hey, thanks for the tip. We had some last-minute changes that our CDN took a while to propagate; it should be fixed now though. Let me know if you find any other issues.