Remove table of contents?

[axelboc]

GitHub now provides table of contents for Markdown files automatically!

This makes the table of contents in the README and the CONTRIBUTING guide less relevant. Should we remove them?

It's nice having the table of contents directly visible, and GitHub's TOC is not as readable and scannable as ours, so not sure. Just thought I'd point out this new feature. 😊

[aplaice]

I also prefer our ToC.

It might make sense to drop the ToCs if/when we'll be doing considerable changes to the structure of the files, to avoid having to worry about recreating/updating them (I often forget...). I don't think we should drop them proactively, though.

In any case, thanks for pointing out the cool feature, as it's useful for other READMEs on GitHub that don't have their own ToC!

---

(Also, I fixed a tiny typo directly on master. I hope that's OK! Opening a PR for one letter felt over-kill...)