[w3c/webauthn] 901719: Remove user handle MAY be null (#1600)

From: =JeffH <noreply@github.com> Date: Wed, 05 May 2021 12:11:07 -0700 To: public-webauthn@w3.org Message-ID: <w3c/webauthn/push/refs/heads/main/6ef038-901719@github.com> · This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 07:26:43 UTC

  Branch: refs/heads/main
  Home:   https://github.com/w3c/webauthn
  Commit: 901719a95cd7c292e7892e047931f47fa87cd23b
      https://github.com/w3c/webauthn/commit/901719a95cd7c292e7892e047931f47fa87cd23b
  Author: =JeffH <jdhodges@google.com>
  Date:   2021-05-05 (Wed, 05 May 2021)

  Changed paths:
    M index.bs

  Log Message:
  -----------
  Remove user handle MAY be null (#1600)

As far as we can tell, the statement "...MAY be null" clause of the statement:
> [...] The user handle MUST NOT be empty, though it MAY be null.

..is incorrect and ought to be removed.

cf. https://www.w3.org/TR/2021/REC-webauthn-2-20210408/#dom-publickeycredentialuserentity-id

fixes #1598