I don’t see dotancohene say anything about how surprising it is that that bug exists. They only say something about the judgment of it being an edge case.