Just noted this in forums I’m in:

Denial-of-service tool targeting Healthcare.gov site discovered

As I’m about to go to catch some Z’s, I won’t page this, but feel free to do so if you think it appropriate.