Turns Out the Obamacare Subsidy Extension Was Only Mostly Dead