User dirs seem to be down, e.g. http://www.debian.org/~branden0 --> Error 404 This is true for at least one other user [~...] dir. Can anyone confirm? Jens