I usually do a quick check for duplicates by clicking on the domain name in parentheses. If there is an identical post with some activity, I delete mine. Forgot to do this, sorry. You can have my karma. :)
No worries! Yours was getting lots of votes, mine wasn't (possibly a time-of-day thing). Side note: I re-read my comment and "dang" sounded like I was annoyed. By "dang" I mean "HN moderators". :-)
