There are some instances where it would be useful to search for editors that are (or are not) of a given type (e.g., deleted editors, auto-editors, bots, …), so having this as a search field would be great.