June 11, 2023: This week's editorials from Ohio newspapers :