There is an NDA but I used "folks" since I, personally, have returned to the startup world and am not involved in the details of fixing this particular incident. But yes, rest assured that the people who currently work on healthcare.gov are busy testing a fix, which is why they're not posting on HN.