am a44794f4: Merge "Doc change: add button link to developer console." into jb-dev

* commit 'a44794f45e46cec0f23a690480274aad171775d2':
  Doc change: add button link to developer console.