English Manual

The manual is maintained centrally in GitHub and published as Wiki, PDF and online documentation.