When trying to delete a ssh key from my account via toolsadmin, I get a 500 error and no successful deletion:
500 Internal Server Error An unexpected technical problem has occured while handing the requested URI /profile/settings/ssh-keys/delete. This is probably temporary and should be fixed soon. Please try again later. Request ID e0ccc6e957cc448d8b05b8b65f1ea897