How can I permanently delete customer tags?

It doesn’t work. I have customer tags (the ones we are trying to delete) that aren’t used on product orders so to test your approach I added one of those customer tags to one product order and then followed your process. While the tag has disappeared from product tags it’s still listed in the customer tags (which is what this feed is about). I got so excited for a minute!