After the browser shows all servers, it would be nice to have an additional button that refresh the ones currently shown (instead of reloading the entire list of servers again).
This will avoid a few disadvantages:
- You lose track of certain servers that you were trying to get in.
- It´s slower to query the master and servers instead of only a few servers (specially when you filter out most of them).