Have you filed this bug or reported it to the requested Twitter thread? If anything else, a link to your HN comment posted to them would be enough — and then they’d realize there’s bugs here to find.