mark table of contents as navigation

5 files changed, 283 insertions, 273 deletions

diff --git a/static/build.html b/static/build.html
index c7bedd5d..b9632a93 100644
--- a/static/build.html
+++ b/static/build.html
@@ -48,79 +48,81 @@
             <p>This is a guide on building, modifying and contributing to GrapheneOS as a
             developer.</p>
 
-            <h2 id="table-of-contents">
-                <a href="#table-of-contents">Table of contents</a>
-            </h2>
-            <ul>
-                <li>
-                    <a href="#building-grapheneos">Building GrapheneOS</a>
-                    <ul>
-                        <li><a href="#build-targets">Build targets</a></li>
-                        <li><a href="#build-dependencies">Build dependencies</a></li>
-                        <li>
-                            <a href="#downloading-source-code">Downloading source code</a>
-                            <ul>
-                                <li><a href="#development-branch">Development branch</a></li>
-                                <li><a href="#stable-release">Stable release</a></li>
-                            </ul>
-                        </li>
-                        <li><a href="#updating-and-switching-branches-or-tags">Updating and switching branches or tags</a></li>
-                        <li><a href="#kernel">Kernel</a></li>
-                        <li><a href="#setting-up-the-os-build-environment">Setting up the OS build environment</a></li>
-                        <li><a href="#reproducible-builds">Reproducible builds</a></li>
-                        <li><a href="#extracting-vendor-files-for-pixel-devices">Extracting vendor files for Pixel devices</a></li>
-                        <li><a href="#building">Building</a></li>
-                        <li><a href="#faster-builds-for-development-use-only">Faster builds for development use only</a></li>
-                        <li>
-                            <a href="#generating-release-signing-keys">Generating release signing keys</a>
-                            <ul>
-                                <li><a href="#encrypting-keys">Encrypting keys</a></li>
-                                <li><a href="#enabling-updatable-apex-components">Enabling updatable APEX components</a></li>
-                            </ul>
-                        </li>
-                        <li>
-                            <a href="#generating-signed-factory-images-and-full-update-packages">Generating signed factory images and full update packages</a>
-                            <ul>
-                                <li><a href="#generating-delta-updates">Generating delta updates</a></li>
-                            </ul>
-                        </li>
-                    </ul>
-                </li>
-                <li>
-                    <a href="#prebuilt-code">Prebuilt code</a>
-                    <ul>
-                        <li><a href="#browser-and-webview">Browser and WebView</a></li>
-                        <li><a href="#prebuilt-apps">Prebuilt apps</a></li>
-                    </ul>
-                </li>
-                <li><a href="#update-server">Update server</a></li>
-                <li><a href="#stable-release-manifest">Stable release manifest</a></li>
-                <li><a href="#standalone-sdk">Standalone SDK</a></li>
-                <li><a href="#android-studio">Android Studio</a></li>
-                <li><a href="#obtaining-upstream-manifests">Obtaining upstream manifests</a></li>
-                <li>
-                    <a href="#testing">Testing</a>
-                    <ul>
-                        <li><a href="#emulator">Emulator</a></li>
-                        <li>
-                            <a href="#compatibility-test-suite">Compatibility Test Suite</a>
-                            <ul>
-                                <li><a href="#compatibility-test-suite-download">Download</a></li>
-                                <li><a href="#compatibility-test-suite-setup">Setup</a></li>
-                                <li><a href="#compatibility-test-suite-run-modules">Run modules</a></li>
-                            </ul>
-                        </li>
-                    </ul>
-                </li>
-                <li>
-                    <a href="#development-guidelines">Development guidelines</a>
-                    <ul>
-                        <li><a href="#programming-languages">Programming languages</a></li>
-                        <li><a href="#code-style">Code style</a></li>
-                        <li><a href="#library-usage">Library usage</a></li>
-                    </ul>
-                </li>
-            </ul>
+            <nav>
+                <h2 id="table-of-contents">
+                    <a href="#table-of-contents">Table of contents</a>
+                </h2>
+                <ul>
+                    <li>
+                        <a href="#building-grapheneos">Building GrapheneOS</a>
+                        <ul>
+                            <li><a href="#build-targets">Build targets</a></li>
+                            <li><a href="#build-dependencies">Build dependencies</a></li>
+                            <li>
+                                <a href="#downloading-source-code">Downloading source code</a>
+                                <ul>
+                                    <li><a href="#development-branch">Development branch</a></li>
+                                    <li><a href="#stable-release">Stable release</a></li>
+                                </ul>
+                            </li>
+                            <li><a href="#updating-and-switching-branches-or-tags">Updating and switching branches or tags</a></li>
+                            <li><a href="#kernel">Kernel</a></li>
+                            <li><a href="#setting-up-the-os-build-environment">Setting up the OS build environment</a></li>
+                            <li><a href="#reproducible-builds">Reproducible builds</a></li>
+                            <li><a href="#extracting-vendor-files-for-pixel-devices">Extracting vendor files for Pixel devices</a></li>
+                            <li><a href="#building">Building</a></li>
+                            <li><a href="#faster-builds-for-development-use-only">Faster builds for development use only</a></li>
+                            <li>
+                                <a href="#generating-release-signing-keys">Generating release signing keys</a>
+                                <ul>
+                                    <li><a href="#encrypting-keys">Encrypting keys</a></li>
+                                    <li><a href="#enabling-updatable-apex-components">Enabling updatable APEX components</a></li>
+                                </ul>
+                            </li>
+                            <li>
+                                <a href="#generating-signed-factory-images-and-full-update-packages">Generating signed factory images and full update packages</a>
+                                <ul>
+                                    <li><a href="#generating-delta-updates">Generating delta updates</a></li>
+                                </ul>
+                            </li>
+                        </ul>
+                    </li>
+                    <li>
+                        <a href="#prebuilt-code">Prebuilt code</a>
+                        <ul>
+                            <li><a href="#browser-and-webview">Browser and WebView</a></li>
+                            <li><a href="#prebuilt-apps">Prebuilt apps</a></li>
+                        </ul>
+                    </li>
+                    <li><a href="#update-server">Update server</a></li>
+                    <li><a href="#stable-release-manifest">Stable release manifest</a></li>
+                    <li><a href="#standalone-sdk">Standalone SDK</a></li>
+                    <li><a href="#android-studio">Android Studio</a></li>
+                    <li><a href="#obtaining-upstream-manifests">Obtaining upstream manifests</a></li>
+                    <li>
+                        <a href="#testing">Testing</a>
+                        <ul>
+                            <li><a href="#emulator">Emulator</a></li>
+                            <li>
+                                <a href="#compatibility-test-suite">Compatibility Test Suite</a>
+                                <ul>
+                                    <li><a href="#compatibility-test-suite-download">Download</a></li>
+                                    <li><a href="#compatibility-test-suite-setup">Setup</a></li>
+                                    <li><a href="#compatibility-test-suite-run-modules">Run modules</a></li>
+                                </ul>
+                            </li>
+                        </ul>
+                    </li>
+                    <li>
+                        <a href="#development-guidelines">Development guidelines</a>
+                        <ul>
+                            <li><a href="#programming-languages">Programming languages</a></li>
+                            <li><a href="#code-style">Code style</a></li>
+                            <li><a href="#library-usage">Library usage</a></li>
+                        </ul>
+                    </li>
+                </ul>
+            </nav>
 
             <h2 id="building-grapheneos">
                 <a href="#building-grapheneos">Building GrapheneOS</a>
diff --git a/static/faq.html b/static/faq.html
index 8414893e..b67b3449 100644
--- a/static/faq.html
+++ b/static/faq.html
@@ -53,61 +53,63 @@
             members can link to these and save lots of time while also providing higher quality
             answers.</p>
 
-            <h2 id="table-of-contents">
-                <a href="#table-of-contents">Table of contents</a>
-            </h2>
-            <ul>
-                <li>
-                    <a href="#device-support">Device support</a>
-                    <ul>
-                        <li><a href="#supported-devices">Which devices are supported?</a></li>
-                        <li><a href="#recommended-devices">Which devices are recommended?</a></li>
-                        <li><a href="#future-devices">Which devices will be supported in the future?</a></li>
-                        <li><a href="#when-devices">When will more devices be supported?</a></li>
-                        <li><a href="#legacy-devices">Why are older devices no longer supported?</a></li>
-                    </ul>
-                </li>
-                <li>
-                    <a href="#security-and-privacy">Security and privacy</a>
-                    <ul>
-                        <li><a href="#clipboard">Can apps spy on the clipboard in the background
-                        or inject content into it?</a></li>
-                        <li><a href="#hardware-identifiers">Can apps access hardware
-                        identifiers?</a></li>
-                        <li><a href="#non-hardware-identifiers">What about non-hardware identifiers?</a></li>
-                        <li><a href="#cellular-tracking">What does GrapheneOS do about cellular
-                        tracking and silent SMS?</a></li>
-                        <li><a href="#default-connections">Which connections do the OS and
-                        bundled apps make by default?</a></li>
-                        <li><a href="#privacy-policy">What is the privacy policy for GrapheneOS services?</a></li>
-                        <li><a href="#default-dns">Which DNS servers are used by default?</a></li>
-                        <li><a href="#custom-dns">How do I use a custom DNS server?</a></li>
-                        <li><a href="#private-dns-ip">Why does Private DNS not accept IP
-                        addresses?</a></li>
-                        <li><a href="#private-dns-other">Does DNS-over-TLS (Private DNS) protect
-                        other connections?</a></li>
-                        <li><a href="#private-dns-visited">Does DNS-over-TLS (Private DNS) hide
-                        which sites are visited, etc.?</a></li>
-                        <li><a href="#vpn-support">What kind of VPN and Tor support is available?</a></li>
-                        <li><a href="#network-monitoring">Can apps monitor network connections or
-                        statistics?</a></li>
-                        <li><a href="#firewall">Does GrapheneOS provide a firewall?</a></li>
-                        <li><a href="#ad-blocking">How can I set up system-wide ad-blocking?</a></li>
-                        <li><a href="#ad-blocking-apps">Are ad-blocking apps supported?</a></li>
-                        <li><a href="#baseband-isolation">Is the baseband isolated?</a></li>
-                    </ul>
-                </li>
-                <li>
-                    <a href="#day-to-day-use">Day to day use</a>
-                    <ul>
-                        <li><a href="#updates">How do I keep the OS updated?</a></li>
-                        <li><a href="#updates-sideloading">How do I update without connecting the
-                        device to the internet?</a></li>
-                    </ul>
-                </li>
-                <li><a href="#anti-theft">Does GrapheneOS provide Factory Reset Protection?</a></li>
-                <li><a href="#bundled-apps">Why aren't my favorite apps bundled with GrapheneOS?</a></li>
-            </ul>
+            <nav>
+                <h2 id="table-of-contents">
+                    <a href="#table-of-contents">Table of contents</a>
+                </h2>
+                <ul>
+                    <li>
+                        <a href="#device-support">Device support</a>
+                        <ul>
+                            <li><a href="#supported-devices">Which devices are supported?</a></li>
+                            <li><a href="#recommended-devices">Which devices are recommended?</a></li>
+                            <li><a href="#future-devices">Which devices will be supported in the future?</a></li>
+                            <li><a href="#when-devices">When will more devices be supported?</a></li>
+                            <li><a href="#legacy-devices">Why are older devices no longer supported?</a></li>
+                        </ul>
+                    </li>
+                    <li>
+                        <a href="#security-and-privacy">Security and privacy</a>
+                        <ul>
+                            <li><a href="#clipboard">Can apps spy on the clipboard in the background
+                            or inject content into it?</a></li>
+                            <li><a href="#hardware-identifiers">Can apps access hardware
+                            identifiers?</a></li>
+                            <li><a href="#non-hardware-identifiers">What about non-hardware identifiers?</a></li>
+                            <li><a href="#cellular-tracking">What does GrapheneOS do about cellular
+                            tracking and silent SMS?</a></li>
+                            <li><a href="#default-connections">Which connections do the OS and
+                            bundled apps make by default?</a></li>
+                            <li><a href="#privacy-policy">What is the privacy policy for GrapheneOS services?</a></li>
+                            <li><a href="#default-dns">Which DNS servers are used by default?</a></li>
+                            <li><a href="#custom-dns">How do I use a custom DNS server?</a></li>
+                            <li><a href="#private-dns-ip">Why does Private DNS not accept IP
+                            addresses?</a></li>
+                            <li><a href="#private-dns-other">Does DNS-over-TLS (Private DNS) protect
+                            other connections?</a></li>
+                            <li><a href="#private-dns-visited">Does DNS-over-TLS (Private DNS) hide
+                            which sites are visited, etc.?</a></li>
+                            <li><a href="#vpn-support">What kind of VPN and Tor support is available?</a></li>
+                            <li><a href="#network-monitoring">Can apps monitor network connections or
+                            statistics?</a></li>
+                            <li><a href="#firewall">Does GrapheneOS provide a firewall?</a></li>
+                            <li><a href="#ad-blocking">How can I set up system-wide ad-blocking?</a></li>
+                            <li><a href="#ad-blocking-apps">Are ad-blocking apps supported?</a></li>
+                            <li><a href="#baseband-isolation">Is the baseband isolated?</a></li>
+                        </ul>
+                    </li>
+                    <li>
+                        <a href="#day-to-day-use">Day to day use</a>
+                        <ul>
+                            <li><a href="#updates">How do I keep the OS updated?</a></li>
+                            <li><a href="#updates-sideloading">How do I update without connecting the
+                            device to the internet?</a></li>
+                        </ul>
+                    </li>
+                    <li><a href="#anti-theft">Does GrapheneOS provide Factory Reset Protection?</a></li>
+                    <li><a href="#bundled-apps">Why aren't my favorite apps bundled with GrapheneOS?</a></li>
+                </ul>
+            </nav>
 
             <h2 id="device-support">
                 <a href="#device-support">Device support</a>
diff --git a/static/install.html b/static/install.html
index 9714f3a0..82f72d1e 100644
--- a/static/install.html
+++ b/static/install.html
@@ -47,37 +47,39 @@
             <p>This is a guide on installing GrapheneOS for the officially supported devices. It
             can be followed for both the official releases and custom builds.</p>
 
-            <h2 id="table-of-contents">
-                <a href="#table-of-contents">Table of contents</a>
-            </h2>
+            <nav>
+                <h2 id="table-of-contents">
+                    <a href="#table-of-contents">Table of contents</a>
+                </h2>
 
-            <ul>
-                <li>
-                    <a href="#prerequisites">Prerequisites</a>
-                    <ul>
-                        <li>
-                            <a href="#obtaining-fastboot">Obtaining fastboot</a>
-                            <ul>
-                                <li><a href="#standalone-platform-tools">Standalone platform-tools</a></li>
-                            </ul>
-                        </li>
-                        <li><a href="#obtaining-signify">Obtaining signify</a></li>
-                    </ul>
-                </li>
-                <li><a href="#enabling-oem-unlocking">Enabling OEM unlocking</a></li>
-                <li><a href="#unlocking-the-bootloader">Unlocking the bootloader</a></li>
-                <li><a href="#obtaining-factory-images">Obtaining factory images</a></li>
-                <li>
-                    <a href="#flashing-factory-images">Flashing factory images</a>
-                    <ul>
-                        <li><a href="#troubleshooting">Troubleshooting</a></li>
-                    </ul>
-                </li>
-                <li><a href="#locking-the-bootloader">Locking the bootloader</a></li>
-                <li><a href="#disabling-oem-unlocking">Disabling OEM unlocking</a></li>
-                <li><a href="#verifying-installation">Verifying installation</a></li>
-                <li><a href="#replacing-grapheneos-with-the-stock-os">Replacing GrapheneOS with the stock OS</a></li>
-            </ul>
+                <ul>
+                    <li>
+                        <a href="#prerequisites">Prerequisites</a>
+                        <ul>
+                            <li>
+                                <a href="#obtaining-fastboot">Obtaining fastboot</a>
+                                <ul>
+                                    <li><a href="#standalone-platform-tools">Standalone platform-tools</a></li>
+                                </ul>
+                            </li>
+                            <li><a href="#obtaining-signify">Obtaining signify</a></li>
+                        </ul>
+                    </li>
+                    <li><a href="#enabling-oem-unlocking">Enabling OEM unlocking</a></li>
+                    <li><a href="#unlocking-the-bootloader">Unlocking the bootloader</a></li>
+                    <li><a href="#obtaining-factory-images">Obtaining factory images</a></li>
+                    <li>
+                        <a href="#flashing-factory-images">Flashing factory images</a>
+                        <ul>
+                            <li><a href="#troubleshooting">Troubleshooting</a></li>
+                        </ul>
+                    </li>
+                    <li><a href="#locking-the-bootloader">Locking the bootloader</a></li>
+                    <li><a href="#disabling-oem-unlocking">Disabling OEM unlocking</a></li>
+                    <li><a href="#verifying-installation">Verifying installation</a></li>
+                    <li><a href="#replacing-grapheneos-with-the-stock-os">Replacing GrapheneOS with the stock OS</a></li>
+                </ul>
+            </nav>
 
             <h2 id="prerequisites">
                 <a href="#prerequisites">Prerequisites</a>
diff --git a/static/releases.html b/static/releases.html
index ed326351..4b4c6ffb 100644
--- a/static/releases.html
+++ b/static/releases.html
@@ -47,94 +47,96 @@
                 <a href="#releases">Releases</a>
             </h1>
 
-            <h2 id="table-of-contents">
-                <a href="#table-of-contents">Table of contents</a>
-            </h2>
-            <ul>
-                <li><a href="#about-the-releases">About the releases</a></li>
-                <li>
-                    <a href="#stable-channel">Stable channel</a>
-                    <ul>
-                        <li><a href="#sunfish-stable">Pixel 4a</a></li>
-                        <li><a href="#coral-stable">Pixel 4 XL</a></li>
-                        <li><a href="#flame-stable">Pixel 4</a></li>
-                        <li><a href="#bonito-stable">Pixel 3a XL</a></li>
-                        <li><a href="#sargo-stable">Pixel 3a</a></li>
-                        <li><a href="#crosshatch-stable">Pixel 3 XL</a></li>
-                        <li><a href="#blueline-stable">Pixel 3</a></li>
-                        <li><a href="#taimen-stable">Pixel 2 XL (obsolete)</a></li>
-                        <li><a href="#walleye-stable">Pixel 2 (obsolete)</a></li>
-                    </ul>
-                </li>
-                <li>
-                    <a href="#beta-channel">Beta channel</a>
-                    <ul>
-                        <li><a href="#sunfish-beta">Pixel 4a</a></li>
-                        <li><a href="#coral-beta">Pixel 4 XL</a></li>
-                        <li><a href="#flame-beta">Pixel 4</a></li>
-                        <li><a href="#bonito-beta">Pixel 3a XL</a></li>
-                        <li><a href="#sargo-beta">Pixel 3a</a></li>
-                        <li><a href="#crosshatch-beta">Pixel 3 XL</a></li>
-                        <li><a href="#blueline-beta">Pixel 3</a></li>
-                        <li><a href="#taimen-beta">Pixel 2 XL (obsolete)</a></li>
-                        <li><a href="#walleye-beta">Pixel 2 (obsolete)</a></li>
-                    </ul>
-                </li>
-                <li>
-                    <a href="#changelog">Changelog</a>
-                    <ul>
-                        <li><a href="#2020.11.27.15">2020.11.27.15</a></li>
-                        <li><a href="#2020.11.25.22">2020.11.25.22 preview</a></li>
-                        <li><a href="#2020.11.05.18">2020.11.05.18</a></li>
-                        <li><a href="#2020.11.03.03">2020.11.03.03</a></li>
-                        <li><a href="#2020.10.23.04">2020.10.23.04</a></li>
-                        <li><a href="#2020.10.06.02">2020.10.06.02</a></li>
-                        <li><a href="#2020.10.01.23">2020.10.01.23</a></li>
-                        <li><a href="#2020.09.29.20">2020.09.29.20</a></li>
-                        <li><a href="#2020.09.25.00">2020.09.25.00</a></li>
-                        <li><a href="#2020.09.18.13">2020.09.18.13 preview</a></li>
-                        <li><a href="#2020.09.11.14">2020.09.11.14</a></li>
-                        <li><a href="#2020.09.10.05">2020.09.10.05 preview</a></li>
-                        <li><a href="#2020.08.07.01">2020.08.07.01</a></li>
-                        <li><a href="#2020.08.03.22">2020.08.03.22</a></li>
-                        <li><a href="#2020.07.06.20">2020.07.06.20</a></li>
-                        <li><a href="#2020.06.22.21">2020.06.22.21</a></li>
-                        <li><a href="#2020.06.02.02">2020.06.02.02</a></li>
-                        <li><a href="#2020.05.29.00">2020.05.29.00</a></li>
-                        <li><a href="#2020.05.23.12">2020.05.23.12</a></li>
-                        <li><a href="#2020.05.05.02">2020.05.05.02</a></li>
-                        <li><a href="#2020.04.14.23">2020.04.14.23</a></li>
-                        <li><a href="#2020.04.13.21">2020.04.13.21</a></li>
-                        <li><a href="#2020.04.07.10">2020.04.07.10</a></li>
-                        <li><a href="#2020.03.23.22">2020.03.23.22</a></li>
-                        <li><a href="#2020.03.04.16">2020.03.04.16</a></li>
-                        <li><a href="#2020.03.03.03">2020.03.03.03</a></li>
-                        <li><a href="#2020.02.07.19">2020.02.07.19</a></li>
-                        <li><a href="#2020.02.04.01">2020.02.04.01</a></li>
-                        <li><a href="#2020.01.06.21">2020.01.06.21</a></li>
-                        <li><a href="#2019.12.02.23">2019.12.02.23</a></li>
-                        <li><a href="#2019.11.05.23">2019.11.05.23</a></li>
-                        <li><a href="#2019.11.04.23">2019.11.04.23</a></li>
-                        <li><a href="#2019.10.07.21">2019.10.07.21</a></li>
-                        <li><a href="#2019.09.25.00">2019.09.25.00</a></li>
-                        <li><a href="#2019.09.23.19">2019.09.23.19</a></li>
-                        <li><a href="#2019.09.21.18">2019.09.21.18 preview</a></li>
-                        <li><a href="#2019.09.18.14">2019.09.18.14 preview</a></li>
-                        <li><a href="#2019.08.25.15">2019.08.25.15</a></li>
-                        <li><a href="#2019.08.05.19">2019.08.05.19</a></li>
-                        <li><a href="#2019.07.16.22">2019.07.16.22</a></li>
-                        <li><a href="#2019.07.01.21">2019.07.01.21</a></li>
-                        <li><a href="#2019.06.23.05">2019.06.23.05</a></li>
-                        <li><a href="#2019.06.14.02">2019.06.14.02</a></li>
-                        <li><a href="#2019.06.03.18">2019.06.03.18</a></li>
-                        <li><a href="#2019.05.18.20">2019.05.18.20</a></li>
-                        <li><a href="#2019.05.08.15">2019.05.08.15</a></li>
-                        <li><a href="#2019.05.07.00">2019.05.07.00</a></li>
-                        <li><a href="#2019.04.01.19">2019.04.01.19</a></li>
-                        <li><a href="#2019.03.05.03">2019.03.05.03</a></li>
-                    </ul>
-                </li>
-            </ul>
+            <nav>
+                <h2 id="table-of-contents">
+                    <a href="#table-of-contents">Table of contents</a>
+                </h2>
+                <ul>
+                    <li><a href="#about-the-releases">About the releases</a></li>
+                    <li>
+                        <a href="#stable-channel">Stable channel</a>
+                        <ul>
+                            <li><a href="#sunfish-stable">Pixel 4a</a></li>
+                            <li><a href="#coral-stable">Pixel 4 XL</a></li>
+                            <li><a href="#flame-stable">Pixel 4</a></li>
+                            <li><a href="#bonito-stable">Pixel 3a XL</a></li>
+                            <li><a href="#sargo-stable">Pixel 3a</a></li>
+                            <li><a href="#crosshatch-stable">Pixel 3 XL</a></li>
+                            <li><a href="#blueline-stable">Pixel 3</a></li>
+                            <li><a href="#taimen-stable">Pixel 2 XL (obsolete)</a></li>
+                            <li><a href="#walleye-stable">Pixel 2 (obsolete)</a></li>
+                        </ul>
+                    </li>
+                    <li>
+                        <a href="#beta-channel">Beta channel</a>
+                        <ul>
+                            <li><a href="#sunfish-beta">Pixel 4a</a></li>
+                            <li><a href="#coral-beta">Pixel 4 XL</a></li>
+                            <li><a href="#flame-beta">Pixel 4</a></li>
+                            <li><a href="#bonito-beta">Pixel 3a XL</a></li>
+                            <li><a href="#sargo-beta">Pixel 3a</a></li>
+                            <li><a href="#crosshatch-beta">Pixel 3 XL</a></li>
+                            <li><a href="#blueline-beta">Pixel 3</a></li>
+                            <li><a href="#taimen-beta">Pixel 2 XL (obsolete)</a></li>
+                            <li><a href="#walleye-beta">Pixel 2 (obsolete)</a></li>
+                        </ul>
+                    </li>
+                    <li>
+                        <a href="#changelog">Changelog</a>
+                        <ul>
+                            <li><a href="#2020.11.27.15">2020.11.27.15</a></li>
+                            <li><a href="#2020.11.25.22">2020.11.25.22 preview</a></li>
+                            <li><a href="#2020.11.05.18">2020.11.05.18</a></li>
+                            <li><a href="#2020.11.03.03">2020.11.03.03</a></li>
+                            <li><a href="#2020.10.23.04">2020.10.23.04</a></li>
+                            <li><a href="#2020.10.06.02">2020.10.06.02</a></li>
+                            <li><a href="#2020.10.01.23">2020.10.01.23</a></li>
+                            <li><a href="#2020.09.29.20">2020.09.29.20</a></li>
+                            <li><a href="#2020.09.25.00">2020.09.25.00</a></li>
+                            <li><a href="#2020.09.18.13">2020.09.18.13 preview</a></li>
+                            <li><a href="#2020.09.11.14">2020.09.11.14</a></li>
+                            <li><a href="#2020.09.10.05">2020.09.10.05 preview</a></li>
+                            <li><a href="#2020.08.07.01">2020.08.07.01</a></li>
+                            <li><a href="#2020.08.03.22">2020.08.03.22</a></li>
+                            <li><a href="#2020.07.06.20">2020.07.06.20</a></li>
+                            <li><a href="#2020.06.22.21">2020.06.22.21</a></li>
+                            <li><a href="#2020.06.02.02">2020.06.02.02</a></li>
+                            <li><a href="#2020.05.29.00">2020.05.29.00</a></li>
+                            <li><a href="#2020.05.23.12">2020.05.23.12</a></li>
+                            <li><a href="#2020.05.05.02">2020.05.05.02</a></li>
+                            <li><a href="#2020.04.14.23">2020.04.14.23</a></li>
+                            <li><a href="#2020.04.13.21">2020.04.13.21</a></li>
+                            <li><a href="#2020.04.07.10">2020.04.07.10</a></li>
+                            <li><a href="#2020.03.23.22">2020.03.23.22</a></li>
+                            <li><a href="#2020.03.04.16">2020.03.04.16</a></li>
+                            <li><a href="#2020.03.03.03">2020.03.03.03</a></li>
+                            <li><a href="#2020.02.07.19">2020.02.07.19</a></li>
+                            <li><a href="#2020.02.04.01">2020.02.04.01</a></li>
+                            <li><a href="#2020.01.06.21">2020.01.06.21</a></li>
+                            <li><a href="#2019.12.02.23">2019.12.02.23</a></li>
+                            <li><a href="#2019.11.05.23">2019.11.05.23</a></li>
+                            <li><a href="#2019.11.04.23">2019.11.04.23</a></li>
+                            <li><a href="#2019.10.07.21">2019.10.07.21</a></li>
+                            <li><a href="#2019.09.25.00">2019.09.25.00</a></li>
+                            <li><a href="#2019.09.23.19">2019.09.23.19</a></li>
+                            <li><a href="#2019.09.21.18">2019.09.21.18 preview</a></li>
+                            <li><a href="#2019.09.18.14">2019.09.18.14 preview</a></li>
+                            <li><a href="#2019.08.25.15">2019.08.25.15</a></li>
+                            <li><a href="#2019.08.05.19">2019.08.05.19</a></li>
+                            <li><a href="#2019.07.16.22">2019.07.16.22</a></li>
+                            <li><a href="#2019.07.01.21">2019.07.01.21</a></li>
+                            <li><a href="#2019.06.23.05">2019.06.23.05</a></li>
+                            <li><a href="#2019.06.14.02">2019.06.14.02</a></li>
+                            <li><a href="#2019.06.03.18">2019.06.03.18</a></li>
+                            <li><a href="#2019.05.18.20">2019.05.18.20</a></li>
+                            <li><a href="#2019.05.08.15">2019.05.08.15</a></li>
+                            <li><a href="#2019.05.07.00">2019.05.07.00</a></li>
+                            <li><a href="#2019.04.01.19">2019.04.01.19</a></li>
+                            <li><a href="#2019.03.05.03">2019.03.05.03</a></li>
+                        </ul>
+                    </li>
+                </ul>
+            </nav>
 
             <h2 id="about-the-releases">
                 <a href="#about-the-releases">About the releases</a>
diff --git a/static/usage.html b/static/usage.html
index 6ae9a6e0..afa10a95 100644
--- a/static/usage.html
+++ b/static/usage.html
@@ -49,33 +49,35 @@
             only cover the user-facing impact of features, and most of the privacy and security
             work is done under the hood.</p>
 
-            <h2 id="table-of-contents">
-                <a href="#table-of-contents">Table of contents</a>
-            </h2>
-            <ul>
-                <li><a href="#auditor">Auditor</a></li>
-                <li>
-                    <a href="#updates">Updates</a>
-                    <ul>
-                        <li><a href="#updates-settings">Settings</a></li>
-                        <li><a href="#updates-security">Security</a></li>
-                        <li><a href="#updates-disabling">Disabling</a></li>
-                        <li><a href="#updates-sideloading">Sideloading</a></li>
-                    </ul>
-                </li>
-                <li><a href="#web-browsing">Web browsing</a></li>
-                <li><a href="#camera">Camera</a></li>
-                <li><a href="#exec-spawning">Exec spawning</a></li>
-                <li><a href="#bugs-uncovered-by-security-features">Bugs uncovered by security features</a></li>
-                <li>
-                    <a href="#wifi-privacy">Wi-Fi privacy</a>
-                    <ul>
-                        <li><a href="#wifi-privacy-scanning">Scanning</a></li>
-                        <li><a href="#wifi-privacy-associated">Associated with an Access Point (AP)</a></li>
-                    </ul>
-                </li>
-                <li><a href="#lte-only-mode">LTE-only mode</a></li>
-            </ul>
+            <nav>
+                <h2 id="table-of-contents">
+                    <a href="#table-of-contents">Table of contents</a>
+                </h2>
+                <ul>
+                    <li><a href="#auditor">Auditor</a></li>
+                    <li>
+                        <a href="#updates">Updates</a>
+                        <ul>
+                            <li><a href="#updates-settings">Settings</a></li>
+                            <li><a href="#updates-security">Security</a></li>
+                            <li><a href="#updates-disabling">Disabling</a></li>
+                            <li><a href="#updates-sideloading">Sideloading</a></li>
+                        </ul>
+                    </li>
+                    <li><a href="#web-browsing">Web browsing</a></li>
+                    <li><a href="#camera">Camera</a></li>
+                    <li><a href="#exec-spawning">Exec spawning</a></li>
+                    <li><a href="#bugs-uncovered-by-security-features">Bugs uncovered by security features</a></li>
+                    <li>
+                        <a href="#wifi-privacy">Wi-Fi privacy</a>
+                        <ul>
+                            <li><a href="#wifi-privacy-scanning">Scanning</a></li>
+                            <li><a href="#wifi-privacy-associated">Associated with an Access Point (AP)</a></li>
+                        </ul>
+                    </li>
+                    <li><a href="#lte-only-mode">LTE-only mode</a></li>
+                </ul>
+            </nav>
 
             <h2 id="auditor">
                 <a href="#auditor">Auditor</a>