Oops, accidental dupe.

Not to worry! A small number of reposts is ok if an article hasn't had significant attention yet. This is in the FAQ: https://news.ycombinator.com/newsfaq.html#reposts.