Quickly identify users in the serverlist

I am using discord with ~100 participants.

Very often i am faced with the problem that i am searching for a particular person and i just want to find out in which voice channel the person is currently participating to decide if the person is busy or not.

My typical procedure is to scroll down the entire server list and to visually search for the person by inspecting the entire server voice channels.

I would very welcome a fulltext search in the entire server list which helps me to quickly filter the server list (voice channels, participants, ...) or is there a alternative procedure to do that?