There are several more pages justifying the decision to vacate the policy as unlawful opposed to issuing a permanent injunction as relief—notably, she cites res judicata (vacatur prevents NSF from issuing a substantively similar policy).

Anyhow, here's the conclusion: