Bot manager for the Weechat IRC client