Thanks for all your messages of concern. We were taken down in the big [1] denial-of-service attack that took down several other sites, and which seems to have originated in Saudi Arabia, but all appears well now. And the site was not hacked at any point.