The development agreement is between two parties. One of the two parties (Reedy Creek) does not exist anymore. It's not just that the name was changed; it was not. Instead, the entity was dissolved by the state legislature and a new, similar entity was created. This is going to invalidate the development agreement. There's even a provision of the state statute outlining the "development agreement" process that specifically refers to what happens when the state (or federal) government does something in the future that invalidates the agreement (SPOILER ALERT: It's revoked or modified ... and you can't modify an agreement when one of the parties doesn't exist anymore and it has no assigns).
I'd be happy to post this in the other thread, but I haven't been able to post in that thread for months for whatever reason (nobody took the time to explain to me).
EDIT: After reading through HB9B, I think I'm wrong. Under the previous SB4C language, the district was dissolved, but under the 2023 HB9B, it has been renamed (retaining previous contractual obligations and liabilities). The Florida Legislature is going to wind up invalidating this development agreement through one-page legislation. Not a big deal, but I do now think they are going to need to pass actual legislation to fix this and avoid litigation.