de>), which should
    be disabled by default, but can lower performance if checked.</p>
    
    <h2>
        <a name="global_hotkeys">Global Hotkeys Error</a>
        <a href="#top" class="top">[back to menu]</a>
    </h2>
    <p><em>Note:</em> If you don't use global hotkeys you don't have to worry
        about this.</p>
    
    <p>If global hotkeys don't work, but there is no error message about it,
        make sure that you actually have global hotkeys enabled in the Hotkeys
        settings or in t