I can&#x27;t respond to your other comment because it&#x27;s flagged, so I&#x27;ll respond here. I think most people don&#x27;t mind pedants. The comment got a handful of upvotes, so clearly on the whole the addition was appreciated.<p>It&#x27;s absolutely possible to be a jerk about correcting someone, but a simple dispassionate &quot;I think you meant X instead of Y&quot; can be helpful.