Make opam-doc more relaxed about errors