Since that discussion was mostly about whether/how to cite the finding, maybe we can have another discussion about the more interesting points: what the finding was, and how it was found.

(The submission title is by far the biggest influence on what comments get posted.)