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:
- A couple cases where dots was used instead of, or alongside, ... for ellipses (post #10840840)
- dotted_line exists for dotted lines (post #2260907)
- polka_dot_background and dotted_background exist for background dots (post #3054215)
- For shading pattern dots, we have halftone and similar tags (post #8841190)
- polka_dot and related tags for same-size dot patterns (post #2643499)
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.
