gobi-cat: --set does not exit, use --set-and-exit to exit
Merge branch 'master' of https://github.com/acfr/snark