Checklist

• Are you running the latest v2 release? The list of releases is here.
• Did you check the manual for your release? The v2 manual is here.
• Did you perform a search about this feature? Here's the Github guide about searching.

What problem does this solve?

• the ./docs/v*/manual.md files use the markdown-toc tool to generate an embedded table of contents
• the decision to use this tool predates (by many years) the existence of default GitHub table of contents support
• use of markdown-toc requires a reasonably modern node installation and out-of-band installation steps

Solution description

Drop the markdown-toc usage in favor of GitHub's built-in default table of contents support.

Describe alternatives you've considered

N/A (?)