Remove rogue end comment HTML.
PiperOrigin-RevId: 254968112
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html
index e59e159..f7e7c28 100644
--- a/site/docs/user-manual.html
+++ b/site/docs/user-manual.html
@@ -805,12 +805,10 @@
</p>
<ul>
- -->
<li>
<code>standalone</code> causes commands to be executed as local subprocesses. This value is
deprecated. Please use <code>local</code> instead.
</li>
-
<li>
<code>sandboxed</code> causes commands to be executed inside a sandbox on the local machine.
This requires that all input files, data dependencies and tools are listed as direct
@@ -822,7 +820,6 @@
<code>local</code> causes commands to be executed as local subprocesses.
</li>
- -->
<li>
<code>docker</code> causes commands to be executed inside a docker sandbox on the local machine.
This requires that docker is installed.
@@ -832,7 +829,6 @@
<code>remote</code> causes commands to be executed remotely; this is only available if a
remote executor has been configured separately.
</li>
-
</ul>
<h4 id='flag--strategy'><code class='flag'>--strategy <var>mnemonic</var>=<var>strategy</var></code></h4>
@@ -977,7 +973,6 @@
right before execution starts, thus freeing up additional memory
(around 10%) for the <a href="guide.html#execution-phase">execution phase</a>.
The drawback is that further incremental builds will be slower. See also
- -->
<a href="/versions/{{ current_version }}/memory-saving-mode.html">
memory-saving mode</a>.
</p>