. . . "Then congressional Republicans refused repeatedly to appropriate dedicated funds to do all that extra work, leaving the Health and Human Services Department and other agencies to cobble together HealthCare.gov by redirecting funds from existing programs." . .