We had a problem since yesterday afternoon. The site was up, after a restart, but was missing updates and postings since june 19. In fact nothing was missing but, due to a DNS error, we were connected to the old server. This has been recitified and all is now ok again, except that a handful of postings since yesterday, and two subscription requests, have been lost. People who posted anything since yesterday afternoon will have to do that again.