hmm, precisely, I was afraid this woud be ambiguous and you just confirmed it (I added a warning in the dev-manual, but that's not the closest available documentation ; this should be embedded ; but I digress)

This means that the `.opt` tools are available, eg. `ocamlc.opt`, `ocamlopt.opt` : nothing to do with the availability of `ocamlopt` itself (well ok the two are quite related, but we can't be certain that there is `ocamlopt.opt` whenever there is `ocamlopt`)

I'll gladly take suggestions for better/less ambiguous naming :)

As a side note, do we need another variable for `ocamlopt` availability ?