Features:
The documentation is available online.
Progress can be installed with opam:
Progress
opam
opam install progress
terminal