Change tag 'metric' into 'metric-distance'

Many newcomer users incorrectly apply tag 'metric' (defined as a subclass of distances) to questions where word "a metric" is used by them simply as "a coefficient", "a measure".

So please create tag 'metric-distance' and make tag 'metric' a junior synonym of it.

• I might prefer [distance-metric], dunno, but otherwise, absolutely. Sep 13 at 11:30
• Do you mean the $d$ on the metric space $(M, d)$ as opposed to a metric like the AUC of a machine learning model?
– Dave
Sep 14 at 22:04
• @Dave, yes, our current tag 'metric' is specifically for this, en.m.wikipedia.org/wiki/Metric_(mathematics). A distance satisfying the metricity axioms. Sep 15 at 5:31
• Looking at some of the questions tagged with metric it seems relatively few of them are about metric in the sense intended so it might almost be better to give up and rename it distance. Sep 21 at 15:02
• @mdewey: and everybody: I will have a look! Sep 23 at 20:29