The home pages for PCI customers are at http://home.pcisys.net. alcortje/coins.html has been moved to:

http://home.pcisys.net/~alcortje/coins.html.