How would a mute button make her situation better? That will not make the problem (the guy's behavior) go away. He'll realize she muted him, and find other ways. Tell HR.

Slacks response is entirely reasonable.