re: #535 HappyWarrior

A number of comments I saw are making the usual “good guy with a gun”
argument. Meanwhile, I’m thinking: “When is the last time anybody shot up a coffee shop?”