In all likelihood, a common theme in Florida neighborhoods is retention ponds to handle the runoff from summer thunderstorms and potential hurricanes and tropical storms, these neighborhood ponds and lakes are all owned by the HOA which has the responsibility to maintain them, in our neighborhood we have company hired that puts in a small johnboat and motors around spraying the shoreline to keep down weeds that could affect runoff and breeding grounds for snakes.
It’s possible in this neighborhood this is not the case but almost universally HOAs are not going to allow fishing, swimming or boating in the HOA owned bodies of water because of liability reasons.
Nearly every body for freshwater in Florida is likely at some point to have an alligator take up residence, if a kid were attacked by a Gator because they were fishing on the shoreline and the HOA didn’t enforce the rules, they would get sued into oblivion.
Yikes, I had no idea 'gators were spread so wide. Sounds like they need some lead-based control!