This repository contains some issues related to the opam-doc prototype.
The code from this repository has been divided into other libraries:
The repository is still alive because there remains some useful
information in the issues and in some of the old code (available on the
master branch).