Note on the current Markdown version: "superfluous" TOC

[maelle]

GitHub now provides a table of content for the README. https://github.blog/changelog/2021-04-13-table-of-contents-support-in-markdown-files/ I was thinking that if you removed the TOC you added, the content itself would be visible faster without scrolling down. That's only a suggestion of course.