f="utilities.htm">Utilities Guide</a><br/>
        <a href="upgrading.htm">Upgrade Guide</a><br/>
        <a href="devnotes.htm">Notes for Developers</a>
    </div>
    <div id="toc_controls"></div>
    <div id="toc_parent">
        <div id="toc">
            <!-- The table of contents will be injected here -->
        </div>
    </div>
    <div id='legend'>
        <p class='removed'>removed</p>
        <p class='changed' style='text-align: center'>changed</p>
        <p class='added' style='text-align: ri