Merge "Fix #8499531: Command line instructions" into jb-mr1.1-docs