Pleasant Grove CDP, Ohio
The municipal code for Pleasant Grove is published by municode and available online:
https://library.municode.com/oh/pleasant-grove-cdp-ohio
The law belongs to the people. Georgia v. Public.Resource.Org, 590 U.S. (2020)