They're rewriting healthcare.gov even though it's working so well already