I have a lot of documents with all kinds of tags. Currently, if I want to rename a tag it requires me going through all documents separately. This was already asked for here a year ago: Help! I can't rename tags anymore
Are you still planning on implementing it?