Sorry I did not see this exchange earlier, otherwise I would have stopped this from proceeding.
The best advice for community members is to ignore the trolls and not engage and report their attention-seeking comments to mods/admins instead to handle.