Do not delete tags without notes

[nonobio]

Hi

I have slowness problems and my first sync takes a long time.
@laurent told me that the slowness surely comes from the large number of tags I have (3729 Tags and 30045 NoteTag):

@laurent

Actually I just saw you have nearly 4000 tags and there's a well known performance issue for users who have many tags. So in the end I don't think it's related to sync - it's just that while sync is in progress, the tag list is being constantly updated which probably freezes the UI.

It's an issue we want to address and some work is being done for this, but not sure when it will be ready unfortunately.

So I started deleting a few tags (around ten ) then I came across this topic which says that tags are never deleted from the database.

So I ask myself: is there any point in deleting tags? (from a performance point of view, compared to the performance issue mentioned by @laurent)