We already have a tag. I guess someone accidentally created the tag. Shall we delete it?

  • 4
    yes! I have edited the questions that have the tag to remove it - let's hope it stays gone
    – Zanna Mod
    Oct 15, 2023 at 5:03
  • Someone asked another question with this tag 10 minutes ago and I just edited it. Can we permanently delete this tag so that new users don't see it? Oct 15, 2023 at 12:14

1 Answer 1


This is done and I solved the problem with a tag merge that also forces an alias for to be . No more tag!

enter image description here

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .