The IRC bot for #ereet on freenode