1ce80a4d7a
Merge commit 'bfb8606831d5a5776301733cde3650d237870453' * commit 'bfb8606831d5a5776301733cde3650d237870453': docs: add guide to copying and installing the Dev Tools app