I'm just speculating, but the HN upvote/downvote arrows are tiny, and it's easy to click on the wrong one accidentally. (This is especially true on tablet devic

I'm just speculating, but the HN upvote/downvote arrows are tiny, and it's easy to click on the wrong one accidentally. (This is especially true on tablet devices.) Your comment clearly doesn't deserve a downvote, though, so I've thrown you an upvote to help make up for it. :-)