Describe the feature

Add an API v1 endpoint, DELETE /users/$USER/tokens which allows users to delete tokens by SHA1.

This would enable interesting workflows for tooling such as securely prompting the user for a password, and then making a key which will be deleted after the tool's session ends.

Describe the solution you'd like

I have provided a working PR here:
#7787

Describe alternatives you've considered

I suppose I could scrape the frontend with playwright, but that's probably more code ultimately.

Additional context

I'm currently building such a tool requiring this functionality so I had to scratch this itch.

Code of Conduct

• I agree to follow this project's Code of Conduct