It ends up that Healthcare.gov has a Twitter feed so you can follow them as they try to figure out how to get that site working.

It's HTML?! We've been writing HTL pages this whole time. Is that even a thing?

— HealthCareDotGov (@HealthDotGov) October 31, 2013