vi har konsekvent blitt ganske overrasket over at Webauthn ikke definerer et API for å hente den offentlige nøkkelen via Cred-ID-en – det virker som et vanlig brukstilfelle, er det noen som vet konteksten for hvorfor dette ikke var tillatt for passnøkler?