75f2875a6e
This patch mainly adds ":option:` `" in several help messages in the doc. This modification will create one link which helps the readers find the relative option quickly and conveniently in website. Change-Id: Ia047e15c3b2064e4822ee7df7922d4774d862602