Details
-
Improvement
-
Status: Resolved
-
Trivial
-
Resolution: Won't Fix
-
3.0.0
-
None
-
None
Description
There are a few pages tracked in `docs/` that are not linked to from the top navigation or from the index page. Seems unintentional.
To make these pages easier to discover, we should at least list them in the index and link to them from other pages as appropriate.