Blog about top-levels for OCaml.