Removed irc alias; outdated.