FYI, there’s a website, downdetector, that aggregates user reports of outages for major websites and services.