Heres an idea - hows about just letting the mention of Cruz’s name go without some childish snark?
The comment I addressed was the snarky, childish comment to Bob
“Hello, one note charlie.”
It isn’t like you don’t repeat the same thing over and over. So why criticize Bob? Cruz name wasn’t mentioned.