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

* commit '85abb087b9ffd05ff8ecc25575018f4a3fcb966d':
  docs: update Tools landing page with info for developer options