We shall see.
Correct. Normal civil judgments are automatically stayed for 30 days under Rule 62(a), but injunctions are excepted from that automatic stay. She has the discretion to stay the injunction pending an appeal, and if she doesn’t, the government can ask the 11th Circuit to do so.