docs: public final DeviceRegistry getDeviceRegistry(RegistryName name) {
  
      GetDeviceRegistryRequest request =
          GetDeviceRegistryRequest.newBuilder()
              .setName(name == null ? null : name.toString())
              .build();
      return getDeviceRegistry(request);
    }