With the README overhaul in #2358, the documentation is split up into multiple files in docs/.
Some repos place a README.md into this intermediate folder, showing a detailed description of what each documentation file contains, which is rendered nicely in the GitHub view.
After the PR in question is merged, we could think about adding one ourselves.
With the README overhaul in #2358, the documentation is split up into multiple files in
docs/.Some repos place a
README.mdinto this intermediate folder, showing a detailed description of what each documentation file contains, which is rendered nicely in the GitHub view.After the PR in question is merged, we could think about adding one ourselves.