Odds & Ends July 2023

https://www.openstreetmap.org/user/mapmeld/diary/401997