How to delete a ghost bot user with admin privileges?

You can’t delete admin users until you have demoted them. If you remove the bot’s admin rights you should be able to delete it.