Thanks for the IPs. My nginx instance is successfully updated with these IPs in the hosts file. So at least the servers that host https://nginx.org are not down.