We could probably merge
tagging here, which would simplify things, even though you could argue there are some minor differences (nouns versus verbs, etc.).
I disagree that
tag-synonyms (valid) and "interesting-tags" should be merged either into that or together, they are different things - we seem to be using the
tagging to discuss use of a particular tag, whilst
tag-synonyms should be specifically for requests to combine tags.
I think I've burnt "interesting-tags".