The team behind the documentation tool odoc have been hard at work on the latest update. The recent update from odoc 2.x to odoc 3, (now 3.1!), brings new features that make navigating documentation easier and give authors more customisation options.
