Changing a tag that has been in use for more than a decade and is used 130k times is very difficult - you need to update all the tools that use the tag, update the memory of all the mappers that remember the old tag, change all the editors... In general it's not worth all the effort.