ed865030681c70255767017a9cdca8e1eeb0fe9e
This is much more useful to users and determining tag names this way is now obsolete so it needs to be changed regardless.
Description
This is much more useful to users and determining tag names this way is now obsolete so it needs to be changed regardless.