How to delete a tag?

[albertosantini]

I played with default board Playground.

There is a card where I added the tag design.

Then I removed it.

I thought if there was not any card with that tag, the tag was automagically deleted.
It seems the tag is still there, if you go in the filter.

Any hint? Did I miss anything?

[monorkin]

Hey @albertosantini any unused tags are automatically deleted every few hours. Just check back later and it should be gone.