• added support to mark servers as favorites and keep them on top of the server list
• added button for "Quick Refresh" which updates the status of all servers in the current list
• renamed "Reload Servers" to "Find Servers" which should make it clearer that it loads a new server list
• removing leading/trailing spaces from server names