El Portal village, Florida
The municipal code for El Portal is published by municode and available online:
https://library.municode.com/fl/el_portal
The law belongs to the people. Georgia v. Public.Resource.Org, 590 U.S. (2020)