⁷This section moved from the README file, needs more integration into the manual