Or maybe someone can mutate one. Just somethign where a user can state not to show servers with "more than [x] bots." As we all know, the "no bots" filter eliminates too many good servers that might have a quite a number of players but still one or two bots.