Due to a router problem at our datacenter, web8 and web11 are currently inaccessible. We’re working with our datacenter to have this fixed ASAP.

No other servers are affected.

Edit: both web8 and web11 are accessible again.