------------------
- clarify the behaviour of ``env_option`` ``with_database`` and ``database_required``
parameters; in particular, when ``with_database`` and ``database_required``
are both set (the default), the ``--database`` option can be omitted
as long as a database is declared in the Odoo configuration file.