clean up rig

rig/docs/index.html

@@ -298,7 +298,6 @@ make cluster up  <span class="c"># build the cluster for the active profile</spa
       unfamiliar machine the complete list is the point. The tail of the output is
       a to-do list of only what is outstanding.</p>
 <pre><code>make setup                  <span class="c"># host + toolchain</span>
-make setup --share-docker   <span class="c"># ...and offer this machine's Docker to other distros</span>
 </code></pre>
 
       <h3>3 &middot; make cluster up</h3>
@@ -325,7 +324,6 @@ make cluster reset              <span class="c"># destroy and rebuild — the on
         <dt>make cluster list</dt><dd>Every cluster on the machine, its memory cost and its port block. The usual reason a new one will not start is an old one you forgot about; <code>make cluster free</code> frees them without deleting.</dd>
         <dt>make ports</dt><dd>This environment's port block, and whether each is derived or overridden.</dd>
         <dt>make registry</dt><dd>Which of the four registry modes is active, and where it points.</dd>
-        <dt>make dockerhost</dt><dd>Which WSL distro owns Docker and what this one is using.</dd>
       </dl>
 
       <h3>Running more than one</h3>