All of my pages on this server have moved to my new website at http://www.jsharkey.org/
(I'm sending you there right now.)