www.openbsd.org and openbsd.org are not the same sites. www.openbsd.org is the large pipe, main project server, which is a mirror of openbsd.org, a tiny machine in Theo's house. Please don't overload Theo's small platform while the main server is down.