I went through what few posts were tagged with world and stars and (mostly) removed those tags:
- world is unnecessary when planet exists; several posts were using world where earth_(planet) was likely meant
- stars is unnecessary when star_(sky) exists (along with accompanying tags like starry sky); also had one instance where star_(symbol) was likely meant
There are a couple of leftover issues, though:
- post #5218731 is tagged with stars, but is gold-restricted, so I'm currently not able to remove the tag; I'd like to ask for assistance on wrapping up that bit of the cleanup
- Should BURs be made to deprecate or alias these tags to prevent users from reusing these? If necessary, which method should be used? Aliasing stars to star_(sky) would probably be simple enough (star_(symbol) is quite easy to find via autocomplete). However, whether to alias world to planet or deprecate world is more vague, since world runs into ambiguity problems (e.g. The World and the world (tarot)).