* commit '78f7e807dfec36fe695f7b2d7241c1a188893d20': docs: update Tools landing page with info for developer options