Purge/clean/delete deleted topics from database

I have been looking into this too - as I batch-imported a load of topics, but the formatting was wrong - so I want to batch-delete them and try again.

I can soft-delete in bulk from the UI, but they are still in the database. Surely soft-deleted items get deleted eventually, otherwise the database will grow forever??