Oh nevermind, it would be simple server filter. Type 'jump' in textbox, mark 'exclude/does not contain' checkbox and press go/search! No need to do specific filter in game, just general filtering mechanism. Also filtering per ping, number of players, map, etc I think it has already been proposed though.