I have a question about this proposed edit for tag react-mui.
Basically it introduces a "deprecation" clause into tag.
While I believe this might be a valid approach for tags that are saved for historical reasons, this tag has only one question tagged with it. Additionally, that single question is already tagged with the proposed new tag too.
Shouldn't this tag react-mui be simply deleted instead?