Clarify how to identify servers with UUIDs.