odoc_compat (odoc.odoc