Wouldn’t it make sense to have a private mute list as well as a public one?

Sometimes a user finds someone annoying, but not necessarily spam or malicious.