I agree with you. She’s not worth commenting on abd if asked about it should just shake his head. I like the Churchill reference and it is applicable here.
Using such opportunities to burnish your reputation for humor and wit would be quite valuable.
Responding to stupid insults with insults of your own doesn't do anything for your reputation except bring you down to the level of those insulting you.