Using IRC clients to connect to #sage-devel

I have made some screencasts of how to use various IRC clients to connect to the #sage-devel IRC channel on freenode.net. There’s one for a web client on the Sage website, one using xchat, and one using the terminal-based client irssi.