Commit 5e070240dfc4a9ff80bb9789bc54b22b77db6306

Stefan Sperling 2019-06-22T21:06:35

make default usage fit on one line; de-duplicates man page info