Please don’t engage in bad faith. My post was very clear about its goal. It’s one thing to wrongly “correct” someone (as the poster above me did) and quite another to notice that someone is taking the care to do something but is making a mistake, and politely point them in the right direction.

Just because you don’t care about something doesn’t make it worthless or boring. If I didn’t think the OP cared I wouldn’t have pointed it out. Above all my point was constructive and took the other person’s interests into account, it was not a pedantic critique.

If you find the matter boring, I encourage you to move along. Prolonging it seems counterproductive.