My unsolicited advice: WHenever you see johhny, toad, moon, dino, 813, lx, et al. just move on. They are only here to disrupt and provoke silly arguments. They are not worth a few seconds of my life reading their silliness. The one thing trolls have in common is they positively can’t stand to be ignored. That is the stake thru their black hearts. I look at the poster first, that saves me much time in catching up on a thread.
The problem with ignoring trolls is the lurkers. They’ll follow a thread until it generates crickets. And if the last one on that sub-thread was a seagull, by virtue of default they will consider that argument settled. But it ain’t so.