I’ve done a first pass of updating the following pages now:
https://wiki.openstreetmap.org/wiki/Tag:leisure%3Dswimming_area
https://wiki.openstreetmap.org/wiki/Tag:leisure%3Dbathing_place
https://wiki.openstreetmap.org/wiki/Tag:amenity%3Dpublic_bath
Will do the “Swimming and bathing” page next, as well as probably do some minor adjustments to the tag pages in case I find anything that can be improved.