re: #392 Anymouse 🌹
Yup. My son graduated from Robert E. Lee High School in Jacksonville.
I don’t think either I or my kids ever went to a school that was named for anyone. Generally they were geographically named, but my jr. high was named “La Entrada” on the theory it was the portal between elementary and high school.