The forum is down for repairs, as of 2011-12-30. Removing (lots of) spam, upgrading phpbb, and moving to new server.