options.</dd>
</dl>
-<h3>Clover state tracker environment variables</h3>
+<h3>Clover environment variables</h3>
<dl>
<dt><code>CLOVER_EXTRA_BUILD_OPTIONS</code></dt>
<code>wglSwapIntervalEXT()</code> will have no effect.</dd>
</dl>
-<h3>VA-API state tracker environment variables</h3>
+<h3>VA-API environment variables</h3>
<dl>
<dt><code>VAAPI_MPEG4_ENABLED</code></dt>
<dd>enable MPEG4 for VA-API, disabled by default.</dd>