That's excellent advice.

Here's less reasonable advice that I've also found works well: bait toxic people into bad behavior.

Figure out what gets the biggest response out of them while looking super reasonable yourself. Try to get them fired up as much as possible so they're annoying everyone, especially their manager, and not just you. The more people angry with the toxic person, the shorter their lifespan.

Give them enough rope to hang themselves.

Trolling is a art.