If a tag has priority, it is not stated in the UG how to delete such a tag.

Here is the example:

Suppose i have this list, and i enter 'delete t/ma1522', CollabSync still prompts deletion but does not delete anything. Shown below:

Only upon adding the priority in the exact format to enter priority, will the delete command delete those contacts:

If a tag has priority, it is not stated in the UG how to delete such a tag.
Here is the example:

Suppose i have this list, and i enter 'delete t/ma1522', CollabSync still prompts deletion but does not delete anything. Shown below:
Only upon adding the priority in the exact format to enter priority, will the delete command delete those contacts: