Good to know, say...how come the replyguy bot has no mutes?  Can we not mute the bot?