I really don't think that such tags are focused enough to be of any real use to the site. They are highly unlikely to be uniformly applied, and so their value as search aids would be negligible, at best.
It was along the lines that I am accepting his answer. (Five votes is more than usually tag-related posts get, anyway.) And that I am going to remove the tag.
The reason why I mentioned this link in this comment was twofold:
1) In case community later changes the decision about the tag, we have a list of questions. (It might be useful also if the discussion about this tag or similar tag is revived again.)
2) It might help to make a few people aware of this room.
BTW completeness which was discussed before reappeared today. I removed it from the single question having this tag. (It was about complete metric spaces.)
@MartinSleziak Huh? I haven't deleted any comments to my answer, and as far as I can tell there are no deleted comments to that answer.
In fact, I think that comment still exists:
Since your answer has 5 upvotes (more than we usually get on tag-related issues), I have accepted it and started retagging the questions. Here is list of the question which were tagged with this tag. (Just in case we decide to reverse this decision later.) — Martin Sleziak24 hours ago
Maybe something went wrong when fetching that post?
Either I need to wake up. Or I had an old version of the post opened in some tab?
I don't know, but I really did not see it there.
(Sorry of "accusing" you of deleting a comment. Although accusing might be a strong word - I simply thought that some of the mods thought that the comment is not needed. As it was your answer, I guessed that the mod dealing with comments on that answer might be moist probably you.)
Anyway, seeing your response here means that at least some users are aware of this room. (Well, otherwise you would not notice my message in this room.) So it is probably not completely useless.
BTW I really have in one tab a version without comment and in another one with a comment. Strange.
(I mean it is strange considering that I rebooted my computer since I posted that comment.)
I really don't think that such tags are focused enough to be of any real use to the site. They are highly unlikely to be uniformly applied, and so their value as search aids would be negligible, at best.
