odoc.2.4.0 added searchable documention, powered by sherlodoc: https://discuss.ocaml.org/t/ann-release-of-odoc-2-4-0/13676

We should update qcheck's documentation to use it, as combinator searching is not uncommon and will benefit from it.