Deleting user info on deleting a tool

Thanks Andreas Grabs for reporting