Merge branch 'hotfix/docs-syntax-fixes'
Merge branch 'release/4.1.2'
updated help file; improved an error message
Merge branch 'hotfix/ilisp-help' into develop