The concept of “undoing a registration” is widely used in my line of work. While most dictionaries define unregister as the proper verb for it, several widely used and highly considered sources also use the verb deregister. Do both verbs exist? Are they synonyms? Is there a slight difference in their meaning?