- This is the production version of the version that allows a use of
    several pre-installed modules (following issue #49).
  - The notion of pre-installed modules is now documented.
  - Added a few general clarifications.