I quit listening to Mark when he went full tilt ‘splodey head over Trump, so I’m sure I missed the exchange you’re referring to.
Shame, too. Next to Rush, he’s been my favorite talker for a long time.
When he used to post here regularly, I found out what a &$#$^%^&^%%$# he really is.