Deprecated features

Currently, there are 1700 occurrences of the amenity = sauna tag in the database. This tag is deprecated and we recommend using the leisure = sauna tag instead. I suggest replacing the amenity = sauna tag with the leisure = sauna tag. Does the community have an opinion on this issue?

I don’t have any reasons against this replacement. The descriptions of new tag https://wiki.openstreetmap.org/wiki/Tag:leisure%3Dsauna and deprecated tag https://wiki.openstreetmap.org/w/index.php?title=Tag:amenity%3Dsauna&oldid=1250184 are totally similar.

As nothing is easy to change in OSM database, same applies to this. Have you read the wiki pages?

Yes. It is for this reason that the issue is put to the discussion.