      </p>

      <!--
      TODO: Figure out how to detect which distribution model is currently
      active so it can be set using the API.
      //-->
      <section hidden="true">
        <h4>Distribution</h4>

        <paper-radio-group name="distribution" selected="normal">
          <paper-radio-button name="uniform" disabled$="{{ !enabled }}">Uniform</paper-radio-button>
          <paper-radio-button name="normal" disabled$="{{ !enabled }}">Normal</paper-radio-button>
          <paper-radio-button 