pdr2020’s spelling-correcting comment indeed didn’t add much value, but as it was three words long, it also used up very little time and attention. I think such spelling-correcting comments don’t deserve the criticism you implied. The (minor) benefit of preventing mattlutze from making that particular spelling error in the future was well worth the (minor) effort of making them read a three-word comment.