BOOTSTRAP.adoc: clarify some points (closes #9278).
BOOTSTRAP.adoc: clarify some points (closes #9278).

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml