#14034: merge argparse tutorial from 3.2.