In function GenerateKE3 the value server_public_key is returned from RecoverCredentials, but it's never used in GenerateKE3
Indeed this was a typo, the server_public_key parameter did not need to be output by RecoverCredentials because it is already part of the cleartext_credentials output.
This change removes the output of server_public_key from the RecoverCredentials() function
From https://github.com/cfrg/draft-irtf-cfrg-opaque/issues/418#issuecomment-1737188161:
Indeed this was a typo, the server_public_key parameter did not need to be output by RecoverCredentials because it is already part of the cleartext_credentials output.
This change removes the output of server_public_key from the RecoverCredentials() function