When cleaning our taxon tree we frequently need to merge two names, where the one we want to maintain is synonym. In order to be able to complete the merge, the name needs to be de-synonymised, ensuring the name to which it is synonymised it written down, the two names merged and then the remaining name synonymised again.
This process is less than ideal and open to causing errors in the database.
It would be great if there was a preference to allow for merging into synonyms.