Help Test the New Odoc-3-Powered Package Documentation Pages

As mentioned above that was not the idea :–)

topkg 1.1.0 has been released which install the needed files by default – their install was conditional on a debugger_support configuration flag whose default has been toggled.

So the package I publish should gradually show the sources as releases come by see fmt for example.