You're confused. Attorneys General of the states don't matter, because this is a federal thing ("IN THE UNITED STATES DISTRICT COURT", as the motion says on top.).

And the top prosecutor in the federal system for a state is called... the "U.S. Attorney".

It's certainly not some random attorney who happens to hold U.S. citizenship.