Added support for turning off UI if we find no synonyms; fixed bug in which CartoDB would add a name as its own synonym.