Muted someone who continues to be obnoxious even after telling them about it politely.