Add some more concrete examples in the command-line introduction.