Add basic build instructions to the INSTALL file.
Rework of the README and help page.
This PR can be available for the next release.
Looks good, thanks!
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?