Deployed 048f993 to prerelease with MkDocs 1.5.2 and mike 1.1.2

prerelease/index.html

@@ -1105,10 +1105,12 @@
 <h1 id="jujutsua-version-control-system">Jujutsu—a version control system<a class="headerlink" href="#jujutsua-version-control-system" title="Permanent link">&para;</a></h1>
 <h2 id="welcome-to-jjs-documentation-website">Welcome to <code>jj</code>'s documentation website!<a class="headerlink" href="#welcome-to-jjs-documentation-website" title="Permanent link">&para;</a></h2>
 <!-- This only applies to the website, not to the GitHub interface -->
-<p>The complete list of the documentation pages available is available in the
-sidebar.</p>
-<p>Additional help is available using the <code>jj help</code> command if you have <code>jj</code>
-installed.</p>
+<p>The complete list of the available documentation pages is located in
+the sidebar on the left of the page. The sidebar may be hidden; if so,
+you can open it either by widening your browser window or by clicking
+on the hamburger menu that appears in this situation.</p>
+<p>Additional help is available using the <code>jj help</code> command if you have
+<code>jj</code> installed.</p>
 <p>You may want to jump to:</p>
 <ul>
 <li>Documentation for the <a href="https://martinvonz.github.io/jj/latest">latest released version of <code>jj</code></a>.</li>