But it is a dupe of this submission:<p><a href="https://news.ycombinator.com/item?id=15551968" rel="nofollow">https://news.ycombinator.com/item?id=15551968</a><p>And the submitter commented in that prior to submitting this. So it isn't an innocent mistake where they didn't know it had already been submitted.