That was that.
In the middle of the show, I made a quick trip to the restroom. As it happened, another person was heading to the restroom at the very same time. As we emerged into the light, he looked at me, and recognizing me, he said, "are you Gary Patton?"
I confessed I was.
"Well," he said, "I've been trolling you."
"Oh," I said, "I think I remember that. About John Leopold, right? You notice I didn't come right back at you."
"I know," he replied, and then proceeded to engage me in a reasonable (if brief) discussion about some of the local issues of concern to him. We differed, but the conversation was cordial, just the kind of discussion about a political issue that anyone might have.
In fact, in person, this "troll" was a pretty decent guy, or so I felt.
Because I wanted to see the movie, I didn't really have time to discuss local political issues; thus, my troll and I never really became acquainted. Given more time, and allowing for our political differences, we might have become perfectly friendly. Even though we didn't agree on a number of things, we did agree on some, and I was happy to make this troll's acquaintance.
As he presented himself on the Internet, I would have suspected that my "troll" might have looked just like a "real" troll, pictured above. In real life, though, my "troll" seemed to be a nice enough person, given that he did have some political views with which I didn't agree.
The lesson I draw from this adventure is that our politics needs to be person-to-person. Politics by Internet is simply not a viable way to make democracy work.