| Index: src/site/docs/editor/getting-started/index.html
 | 
| diff --git a/src/site/docs/editor/getting-started/index.html b/src/site/docs/editor/getting-started/index.html
 | 
| index f836ab531f62c9eddbb438900922476dba8be862..31fc5a355e8d5fb612e954404772c226b2fdbeba 100644
 | 
| --- a/src/site/docs/editor/getting-started/index.html
 | 
| +++ b/src/site/docs/editor/getting-started/index.html
 | 
| @@ -7,6 +7,8 @@ js:
 | 
|    defer: true
 | 
|  - url: /js/editor-downloads-analytics.js
 | 
|    defer: true
 | 
| +- url: /js/editor-version.js
 | 
| +  defer: true
 | 
|  ---
 | 
|  
 | 
|  {% include platform-specific-text/_noscript.html %}
 | 
| @@ -17,14 +19,7 @@ js:
 | 
|  
 | 
|  <p>
 | 
|  Follow this tutorial to install and use Dart Editor on
 | 
| -    <input type="radio" name="osChoices" id="win">
 | 
| -    <label class="os-choice" for="win">Windows</label>,
 | 
| -
 | 
| -    <input type="radio" name="osChoices" id="linux" checked="true">
 | 
| -    <label class="os-choice" for="linux">Linux</label>, or
 | 
| -
 | 
| -    <input type="radio" name="osChoices" id="mac">
 | 
| -    <label class="os-choice" for="mac">Mac</label>.
 | 
| +{% include os-choices.html %}
 | 
|  </p>
 | 
|  
 | 
|  <p>
 | 
| 
 |