[webauthn] Merged Pull Request: Editorial changes from PR #718

emlun has just merged emlun's pull request 752 for https://github.com/w3c/webauthn:

== Editorial changes from PR #718 ==
These are the editorial changes from #718. Reviewing each commit on its own is probably easier than all together.

Many of the changes are in response to a review comment: https://github.com/w3c/webauthn/pull/718#pullrequestreview-83906027


<!--
    This comment and the below content is programatically generated.
    You may add a comma-separated list of anchors you'd like a
    direct link to below (e.g. #idl-serializers, #idl-sequence):

    Don't remove this comment or modify anything below this line.
    If you don't want a preview generated for this pull request,
    just replace the whole of this comment's content by "no preview"
    and remove what's below.
-->
***
<a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/pull/752.html" title="Last updated on Feb 5, 2018, 3:52 PM GMT (8233396)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/752/1fc8906...8233396.html" title="Last updated on Feb 5, 2018, 3:52 PM GMT (8233396)">Diff</a>

See https://github.com/w3c/webauthn/pull/752

Received on Tuesday, 6 February 2018 10:08:53 UTC