I think mentioning "local DeviceDetails" instead of "LocalDevice" here is a typo. So I don't use the spec modification procedure here ("This clause has been deleted. It was valid up to...") and just editing the current version.. Correct me if it should be a proper spec replacement.
I've avoided to replace all mentions of "local DeviceDetails" to "LocalDevice", since in places where deviceSecret is not used it's not important.
I think mentioning "local DeviceDetails" instead of "LocalDevice" here is a typo. So I don't use the spec modification procedure here ("This clause has been deleted. It was valid up to...") and just editing the current version.. Correct me if it should be a proper spec replacement.
I've avoided to replace all mentions of "local DeviceDetails" to "LocalDevice", since in places where
deviceSecretis not used it's not important.