Hi, a user on IRC reported yesterday that wiki.horde.org is down. For me bugs.horde.org also seems down. Anything wrong with simon.horde.org? Ping seems fine, it even connects on TCP port 80. Still there is no answer to the "GET /" request. Cheers, Thomas