I read through the tag-merging and synonyms thread today, and was reminded that we have three different, closely-related tags, namely: integration, integral, and definite-integral. I was confused by this, but am willing to stand by the reasoning given for the distinction there and in other threads.
Later, though, I discovered that the tag integral-domain lists integration as a "related tag", which is ridiculous! How is it that this happened, and can anything be done to remove this spurious link?