servers listing in all contexts now passes arguments to grep the server list so you can specify servers by grep compatible regexp