How would you suggest implementing your recommendation?

Hello, How do I permanently delete customer tags that we dont use anymore?We've updated the way we manage our customers, discounts etc... and now have a lot of unused tags that we'd like to permanently delete to make the tag list shorter. I see the t...