people.w3.org is still down (going through a long filesystem check) but all other services are back to normal.