When are users deleted?
The app only deletes a user, if he or she doesn't have any other tickets. As long as a user has a ticket, it won't be deleted by the app. The search query searches for tickets only, and finds the accompanying user. If by manual deletion a user has no more tickets, the user won't be deleted by a task.