+opam-doc.0.9.3
Merge pull request #1526 from mirage/master

+opam-doc.0.9.3