How to delete a ghost bot user with admin privileges?

I think this isn’t possible for (AI)-bot users. There is no “Revoke admin” button.

It might be a little difficult to notice that in a screenshot taken on a Chinese interface, so I am adding an English one:

The buttons between “manage keys” and the trust level dropdown, which are shown for normal admins, are missing on bot users.