In section "5.1.1 Installation via Opam" of the manual, it would be nice to include the installation instructions to enable the ide command, e.g.:
ide
opam install why3-ide
