Deleting multiple users in bulk

July 2026: the guide has been updated to reflect the new functionality introduced with this commit, which allows searching for multiple users simultaneously from the admin users list.