Ralf Treinen Sun, 19 Jan 2025 11:06:13 -0800
Hi, this error occurs when running latex to compile the manual to PDF. It is not an ocaml error and hence unrelated to the ocaml transition to 5.3.0.
-Ralf.
