- the stubs always fail with an assert false
- the code is still live in Matita, but currently unused in practice
- ocaml_http depends on ocamlnet, that is way too hard to port completely
to ocaml 5.0.0. A better path to restore the lost functionalities is
to reimplement ocaml_http_stubs on modern libraries (e.g. lwt-cohttp)