And apparently now a number of government sites are down: https://investorshub.advfn.com/boards/read_msg.aspx?message_id=173997868