Moving to a new server on December 23

[Ian the Admin]

Because of problems with the current web server, the board will move to a new server on December 23. The move will likely begin around noon pacific time (3PM eastern time).

The move will likely take only a few hours. *However*, due to the way the internet works, it takes a while for the "change of address" to make its way to various internet providers. So for many people the board will come back up in a few hours, but for some unlucky souls it may take days to see it again. If that happens to you, spend the free holiday time to visit friends and family, relax, and so on.