Disney did all of this out in the open after published notices and at public hearings. The Florida GOP is sloppy and incompetent.
The people who run Disney are pretty smart, and Ron DeSantis seems pretty dumb, so I’m not surprised at how this turned out.