am 88b0d1e3: am 78f7e807: am e72e2b74: am 85abb087: Merge "docs: update Tools landing page with info for developer options" into jb-mr1-dev

* commit '88b0d1e3687194d7046e10e56f087cd80389edd7':
  docs: update Tools landing page with info for developer options