In 2015, a suggestion to merge and got three upvotes and no downvotes, but seven years later, we still have separate tags. Is it time to merge them?

1 Answer 1


These were merged as synonyms circa 20/08/2022.

No doubt a Mod will be along soon to tag this as .

You must log in to answer this question.

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