This, please.
Sometimes someone has a bad day and unfortunately takes it out on us. I rather mute for 1 match or two first instead of blacklisting them.