Hi,
What is the difference between https://www.openstreetmap.org/way/1265860681 and https://www.openstreetmap.org/way/1170874739 ? Isn't https://www.openstreetmap.org/way/1265860681 also a riding arena like https://www.openstreetmap.org/way/1170874739 ? Compare old discussion https://www.openstreetmap.org/changeset/137686130