Discovering tlauncher servers