Enhanced TagEditor::addSynonym()