But, https://www.census.gov was down (I saw the empty skeleton of a page), then a minute later it was up. So, same thing could have happened here.