This is not a big deal and I don't mind however it turns out, but I mildly object to the removal of the "derivation" tag from my question here: https://math.stackexchange.com/posts/953057/revisions
Apparently the tag was previously deleted based on the colloquial meaning (eg., "deriving a formula") being too vague for a tag.
However, my question is about generalizing the Leibniz rule, so the meaning of the tag is in the technical sense of derivations (an algebraic generalization of the derivative based on the Leibniz rule), rather than derivation in the colloquial sense.
So, the question for discussion is: should we allow the "derivation" tag to be used when it is done in the specific technical sense, or is the potential for misuse so high that it should be banned regardless of the context?
I would like to point out that there exist numerous tags that have a colloquial and technical meaning, but are used here only in the technical sense - for example,
and so forth. If you just browse the front page, a substantial fraction of all tags have a double meaning like this.