<div id=“boilerplate-copyright-destination”/>
<nav>
<h1 id="content">{{ labels["table_of_contents"] }}</h1> <div id="toc"></div>
</nav>
<div id=“boilerplate-copyright-destination”/>
<nav>
<h1 id="content">{{ labels["table_of_contents"] }}</h1> <div id="toc"></div>
</nav>