Plugin limited to deleting 999 users

I had 10,000+ users created by a (malicious) bot some time ago. All the users had the role of “none”. I first tried to use another plugin called “Bulk Delete”, but this one wouldn’t even delete 10 of these users, maybe because of the “none”-role.

Yours worked, with a (WP-?)limit of 999 users.

Thanks!