I was just going through some FAQs on Meta SE and I came across the following: the FAQ for tagging suggests that "all good synonyms should eventually be merged." Are the mods of the same opinion? @Donald.McLean