* The Refresh button will query the highlighted server and display the
results to the right of the server list. By default the servers can also
be refreshed by doubleclicking on the server.

* The server that is refreshed is dependent on the highlighted server, not
the server information shown. For Example: If you refresh a server that
responds and the results are displayed to the right of the server list
then you single click on another server in the server list, the
displayed results for the first server refreshed will not change. If you
then hit the refresh button the server you just single clicked on will
be refreshed and those results will replace the ones from the previous
server refresh.
