Hello, I made a bookmarklet that injects an index of a module’s contents into the sidebar of an odoc-generated module documentation page. For example, if you go to Dream — Tidy, feature-complete web framework , and run the bookmarklet, you will see:
6 Likes