So our conclusions from this:
1. We tag according to which is more popular, and synonym to alternatives.
2. Please flag posts with eligible tags without synonyms with the alternative name(s).
3. If anyone has an objection towards the naming/priority of any tag, post on meta.