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