I agree on the
monero-research-labs synonyms. There are rules about how many times each synonyms has to be tagged before a synonym has been created. So in some cases we may notice a synonym that we cannot create right away until it has been used more.
I agree with your comments about
monero-history being better as
history if all
history were actually about Monero. Are we okay with history questions about other cryptonote coins using the same tag? If we are then
history is the right tag for sure.
My vote is for
history being better than
monero-history and for
monero-research-labs being created when we are able to do so.
EDIT: My vote is still recorded above but I found this post this worthy of mentioning.
Should we have a history tag at all? The definition of history changes all the time. Two years from now people will consider questions about the conversion to RingCT
history too ambiguous for us to use?
ambiguous tags, e.g. future, computing, offline