But the justices put the settlement on hold during the summer, in response to objections from the Biden administration.