since most mirrors are out of service, I want to announce a working one:

http://mirrors.zerg.biz/htdig