Unclear from the current documentation: what happens when a muted user tries to "thank" you? Does it prevent them? (This would appear to violate the claim that "a user's mute list is private from all other users on the wiki, including administrators or any other functionary".) Or does it let them go ahead, but you just never actually see their thanks?
