A configuration mistake brought the web server down around midnight. Technicians repaired the mistake this morning. All systems are now working properly.