Hi everyone,

Apologies for the brief outage. The IRC server had a hiccup and crashed, and an error in the config caused it to fail to restart.

This has now been rectified, and everything is starting to return to normal.