the irc bot what is run by mozilla