Website update

Hot on the heels of the server maintenance (an operating system update) earlier today we have an application-level update to the software that powers this website. Should only be down for a few minutes. Please report any anomalies you find using the issue tracker.

Update: We're back.