* commit 'f6321a4493c801ca779b9f0da2bd2866eb4a292b': 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/