| I would like you to add an index to this repository that users can navigate on Github.com (to do this, use relative links). | |
| This index should be: | |
| - Created programmatically | |
| - Created incrementally, if possible | |
| Follow this general preference: | |
| - The index is created by a script as a standalone file | |
| - That file is injected into README.md using injection markers | |
| The script to generate the index, once validated, can be implemented as a pre push hook |