Mod note: have banned troll @[email protected].

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.