BUR #42816 has been rejected.
mass update ocean -underwater -> water
I noticed a very large number of ocean posts are not also tagged with water. I was originally going to propose an implication, but I realized there are ocean + underwater posts, which shouldn’t be tagged with water. The logic of the mass update makes sense to me, unless we want to leave water as a tag for posts with smaller amounts of water in them than an ocean.