I would like a feature to permanently delete files via the API (so also remove them from the recycle bin), so names can be used again.

This means we would also need an endpoint that can retrieve files from the recycle bin and potentially restore them.