Concerning other points,
This begs the question of why the original author did not find utop. Maybe, we should take drastic measure and add a link to utop in the basic ocaml repl?
Here the linked ocaml.org article is downright confusing: it starts with the idea that the use of
;; is hard to grasp and full of exceptions and make sure to realize this prophecy.
I don't agree with this point, this part of the manual is explicitly self-described as a technical part of the manual, and I consider the BNF description to be at least as readable as the in-prose description of the grammar that follows. Moreover, ideally, all concepts described in this language reference part should have been covered somewhere in the tutorial part of the manual (there are few gaps currently), and this part of the manual (language extensions excepted) should be only a technical complement to the first part.