Deprecate "dots"

Posted under Tags

BUR #55772 has been approved by @Hillside_Moose.

deprecate dots

The dots tag suffers from ambiguity, resulting in multiple use cases where more specific tags already exist:

There are some cases where the dots in use are much harder to define (e.g. post #10374357), but in these cases it should be questioned if a new tag should be made for the case or if the dots should be tagged at all. It is quite unlikely dots would be useful for finding specific material in these cases, regardless.

1