Greatly improved speed of the new server search Around 20 ms for over 10k servers with 3 combined searches - not bad results!