Merge pull request #1091 from w3c/pr-1082-user-handle-mapped

Use "user handle mapped to user" language in user identification step

index.bs

@@ -3532,10 +3532,10 @@ When verifying a given {{PublicKeyCredential}} structure (|credential|) and an {
     |credentialSource| identified by <code>|credential|.{{Credential/id}}</code>:
 
     <dl class="switch">
-        :  If the user was identified before the [=authentication ceremony=] was initiated,
+        :  If the user was identified before the [=authentication ceremony=] was initiated, e.g., via a username or cookie,
         :: verify that the identified user is the owner of |credentialSource|. If
             <code>|credential|.{{PublicKeyCredential/response}}.{{AuthenticatorAssertionResponse/userHandle}}</code> is present,
-            verify that this value identifies the same user as was previously identified.
+            let |userHandle| be its value. Verify that |userHandle| also maps to the same user.
 
         :  If the user was not identified before the [=authentication ceremony=] was initiated,
         :: verify that <code>|credential|.{{PublicKeyCredential/response}}.{{AuthenticatorAssertionResponse/userHandle}}</code> is