Hacker News Reader

That's an earlier post in the same series.

What a thing to downvote someone over though, posting something useful but with a minor mistake like this (not saying you downvoted him of course)

Please just give a corrective upvote and move on. That nearly always works (as it has above).

Good to know the practice of corrective upvotes is recognized by the mods :).