IRC channel changed (again)

I recently noticed that the old #twhl channel has become available, meaning that we can migrate back to using it over #twhl3, which is what we were using before. With TWHL4 approaching, #twhl3 makes less sense than it did 2 years ago. Anyone who regularly (or irregularly) joins/idles in IRC should note that the channel has changed.

For people who have never used IRC, give it a try! Firefox users can download the ChatZilla add-on, Opera users can use the client built into their browsers, and everyone else can use mIRC or a client of their choice. Drop in every now and then and have a chat! (and hope that you joined at a time when there's a discussion happening :P)

To recap and embiggen: THE IRC CHANNEL HAS CHANGED.