Just thought I'd let you know that edits to IRC are now live again.