Seems petty, but yeah anyone can make a bot that reports who mutes who. Eventually I expect mute lists to be encrypted.