There will be some IRC downtime on August 20th beginning at around 10:30am EST as our server undergoes some OS upgrades. This should not take more than a few hours, provided all goes well.

Edit: Looks like everything is finished and the server is back online again.