
  <dd>
    <div class="half-spaced">
      Version number of the config file. Incremented whenever the file format changes. If this section or this value is missing then the default value is <code class="value">1</code>.
    </div>
    <div class="half-spaced">
      The current value is <code class="value">7</code>.
    </div>
  </dd>
</dl>

<h3>
  User Config File
</h3>

<p>
  This file records configuration information that is unique users of the application. Some sections correspond to user preferences