index.html missing from repo master branch -- regen upon merges ?

Hubert & I notice that index.html missing from the github.com/w3c/webauthn repo master branch.

index.html is the "formatted" output gen'd by bikeshed.  if you have bikeshed installed, running  make in your repo clone directory will generate it. (ie, see the Makefile)

perhaps we should figure out a way that auto-generates index.html upon merges to master such that index.html tracks the current state of the post-merge(s) spec?

=JeffH