[@tomdebruin Participant 15 years, 11 months ago]

the ‘destroy tag’ option that you get on the bottom of the tag’s page does delete the tags, though it reports ‘0 records deleted’ on the page after they’re deleted.

the plot thickens…