am 9d208e9d: am 1112cbe6: (-s ours) am c04d21fc: Merge "add placeholder for platform name in download button. This change depends on the following change to the script that loads the platform name... https://googleplex-android-review.git.corp.google.com/#/c/752776/" i

* commit '9d208e9d':