+opam-doc.0.9.2
Merge pull request #1496 from mirage/master

+opam-doc.0.9.2