When a tool is deleted, it can no longer be linked to from e.g. audit logs, or revisions of lists that contained that tool in the past.

Ideally, we would like to display some info about when and by whom the tool was deleted, similar to how deleted pages are handled in MediaWiki, as opposed to silently disappearing the tool from all public records, authoritarian dictatorship style.

On the backend, deleting a tool doesn't remove it from the database. Rather, it is a soft delete that can be undone if needed, meaning that all info associated with the tool is still available.

We need to figure out the best way to expose data about a deleted tool through the API, and how to best display it in the UI.