As already written in another ticket we currently have 600 people in our list. It would be really nice having a quick filter function using the name or partly the name of members. I think simplest would be having edit fields between each column and its header where you can type freely. For example having the users

Example
Sample
500others

If I type "amp" it should only display the first two. I think this should not reset selection. This way you could easily add/remove sb. to the selection for whatever you are doing.

This can be done relatively easily. Wanted to do it but the amount of requests that I've been trying to implement have been a tad overwhelming :p

Yes I understand. If I were you I would implement small things like this over big ones (Data Pull) as more quality of life features are probably leading to more users (and possibly contributors) faster.

@Roeshambo i can push a simple solution, I've implemented eairlier custodian@c2bc470

I just wrote a quick one up. Will be in the next update