Holiday Lakes town, Texas
The municipal code for Holiday Lakes is published by municode and available online:
https://library.municode.com/tx/holiday-lakes-town-texas
The law belongs to the people. Georgia v. Public.Resource.Org, 590 U.S. (2020)