This post was almost a rant about a pet peeve that came up in a comment by someone I don't know and almost surely will never meet. And then I realized there was no point, and there are a million better ways to spend my time and mental energy. Is this what wisdom feels like?