To improve performance, the main website is going to be migrated to a new server. There should not be any changes except that it should faster.
The exact timing has not yet been set, however it may be tomorrow morning. If you get a migration/maintenance webpage, please try again in a few hours.
The DNS is changing, so you may need to flush your local DNS cache to access the server. (Depending on the operating system you may be able to do this directly, otherwise reboot.)
You may also have to wait for cached entries to expire on your ISP’s DNS servers.
Note: I’m still trying to find out what the problem is with the wiki. As far as I know, it’s not related to either the big migration earlier this year nor this migration.
Ken
It looks like the migration is going to be tomorrow (Thursday) in the afternoon US Eastern time.
The wiki problem is fixed. This also involved a DNS change, so it’s subject to the same caching issues as described in my initial post above.
The migration team ran into problems on the new server which could not be easily resolved, so that attempt was canceled and they’ll try again next week, probably on Monday.
This website is now running on the new server. There may be a few glitches as we work everything out.