Minor correction to --help text
Merge branch 'feature-trace-mode' of github.com:cs-au-dk/Artemis into feature-trace-mode
Merge branch 'feature-trace-mode' of github.com:cs-au-dk/Artemis into feature-trace-mode