I've put them up for HTTP at http://people.debian.org/~dark/Bugs.tgz By the way, could we have a signed file of host keys for the Debian machines? It was quite difficult to get people.debian.org's key into my known_hosts file, and I'm still not sure if I did it securely. Richard Braakman