I attempted to delete a user that had a stopped workspace and got the expected "You cannot delete a user that has workspaces. Delete their workspaces and try again!" error.

When looking in the audit log, I noticed that there was an audit entry that suggested that I successfully deleted the user:

<my-username> has deleted user <target-username>

Since my deletion attempt aborted due to error, I'd instead expect the entry to either be absent or something like:

<my-username> unsuccessfully attempted to delete user <target-username>