to the south, road https://www.openstreetmap.org/way/129810579/history was renamed to Churchway in July 2020, but a stretch here https://www.openstreetmap.org/way/23163547/history is still tagged as "Church Way" - is this correct, or an oversight in the July 2020 renaming?