Merge "docs: 7 tap instructions for dev options" into jb-mr1-dev

Author: scottamain

docs/html/tools/index.jd

@@ -54,10 +54,11 @@ page.title=Developer Tools
     updates on GPU views and hardware layers, touch location, and others.</li>
   <li>Plus many more options to simulate app stresses or enable debugging options.</li>
 </ul>
-<p>To access these on your device, open <em>Developer options</em> in the system Settings.
-If your device is running Android 4.2 or higher, you can access the settings with the
-<a href="http://play.google.com/store/apps/details?id=com.android.development_settings">Developer
-Settings</a> app.</p>
+<p>To access these on your device, open the <em>Developer options</em> in the
+system Settings. Note that on Android 4.2 and higher, the Developer options screen is
+hidden by default. To make it available, go to
+<b>Settings > About phone</b> and tap <b>Build number</b> seven times. Return to the previous
+screen to find Developer options.</p>
 
 </div>