The home page for harvey/ has been moved to:

http://home.pcisys.net/~harvey/.