7:54 AM
@MartinSleziak But before the remove the tag has been used in another question.
Would it perhaps be easier to create a synonym than to repeatedly remove/replace the tag?
2

The elementary divisor theorem was originally proved by a calculation on integer matrices, using elementary (invertible) row and column operations to put the matrix into Smith normal form. That is the matrix is zero off the diagonal, and on the diagonal each entry divides the one below it. ...

Checking SEDE query, it seems that the tag has been created and removed in the past.
For example, check the revision history of 80364 or 86657.
I have made post on meta suggesting the synonym. I hope I posted in the correct thread for this purpose.
0

The tag history has been created a few days ago. This tag has been created a couple of times in the past and usually replaced by ho.history-overview. I think that the synonym history $\to$ ho.history-overview would be useful. If not for other reason, just to save the effort going into repeated r...