Re: [PATCH] doc/sandbox: improve formatting of command line options