People who can't sincerely ignore trivial matters probably should stay out of management.
I assume GP was refering to the "great work" part, but even then it's just matter of style; the point was only to show approval without nitpicking, not emphatic congratulations.
Ah yes, it's too easy to think that a comment is addressing one point when it is addressing another.
Can't upvote this enough.
I am not sure if they are better there or writing code.