docs(index.html): add getting started section

[marcoscaceres]

CC @caribouW3

---

Preview | Diff

[marcoscaceres]

Actually, let me fix the linking here...

[marcoscaceres]

(not sure what's up with Prettier... but that's what it outputs for me locally 🤢)

[sidvishnoi]

I was wondering if we can create a docs/README.md, move abstract and getting started there, and then data-include it in index.html
That way, we can have it rendered in both places. Also, markdown is kinda nicer to write.

[marcoscaceres]

We can do the docs/README.md thing... will it still show up as the README for the repo itself?

[sidvishnoi]

will it still show up as the README for the repo itself?

Not in repo itself, but when someone visits docs folder in repo. We can maybe replace our README if this ads more value?
Lets start with docs/README.md.

[marcoscaceres]

Ok, so we will have two README.md? That's ok, given we have...

Alternatively, we could just convert the respec file into markdown? What's the value in having the separate files .md files?

[sidvishnoi]

README.md is more of an introduction to the repo. docs/ is actual documentation/user guide.

[sidvishnoi]

I don't understand why my local spec-prod build pass with these docs but it fails here (that bad link that markup validator catches).