docs(rebuilt-docs): rebuild docs for v0.7.6rc4.0

docs/html/dir_897cfbcdbf2b76d535de4ec754728fa0_dep.svg

@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 13.0.1 (20250615.1724)
+<!-- Generated by graphviz version 14.1.2 (20260124.0452)
  -->
 <!-- Title: src/lib/solver/strategies/triggers Pages: 1 -->
 <svg width="88pt" height="118pt"
@@ -48,13 +48,13 @@
 <!-- dir_897cfbcdbf2b76d535de4ec754728fa0&#45;&gt;dir_b0856f6b0d80ccb263b2f415c91f9e17 -->
 <g id="edge1" class="edge">
 <title>dir_897cfbcdbf2b76d535de4ec754728fa0&#45;&gt;dir_b0856f6b0d80ccb263b2f415c91f9e17</title>
-<g id="a_edge1"><a xlink:href="dir_000059_000020.html" target="_top">
+<g id="a_edge1"><a xlink:href="dir_000063_000022.html" target="_top">
 <path fill="none" stroke="#63b8ff" d="M40,-55.08C40,-48.57 40,-39.42 40,-31.12"/>
 <polygon fill="#63b8ff" stroke="#63b8ff" points="43.5,-31.12 40,-21.12 36.5,-31.12 43.5,-31.12"/>
 </a>
 </g>
-<g id="a_edge1&#45;headlabel"><a xlink:href="dir_000059_000020.html" target="_top" xlink:title="4">
-<text xml:space="preserve" text-anchor="middle" x="46.34" y="-29.33" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">4</text>
+<g id="a_edge1&#45;headlabel"><a xlink:href="dir_000063_000022.html" target="_top" xlink:title="5">
+<text xml:space="preserve" text-anchor="middle" x="46.34" y="-29.33" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#63b8ff">5</text>
 </a>
 </g>
 </g>