Just started using Yojson, for which many thanks. I am round-tripping PDFs through JSON.
https://ocaml-community.github.io/yojson/
is mostly empty and points to
https://ocaml-community.github.io/yojson/yojson/index.html
which is mostly empty and points to (for most users)
https://ocaml-community.github.io/yojson/yojson/Yojson/index.html
Is there a way to squish some of this together? Meanwhile I have used a bookmark, of course.