Manpages of opam-docs in Debian testing