The great rewrite of 2023

14 files changed, 120 insertions, 0 deletions

diff --git a/site/img/echo-deps.svg b/site/img/echo-deps.svg
new file mode 100644
index 0000000..b99a4a6
--- /dev/null
+++ b/site/img/echo-deps.svg
@@ -0,0 +1,75 @@
+<?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 8.0.5 (0)
+ -->
+<!-- Title: dependencies Pages: 1 -->
+<svg width="272pt" height="138pt"
+ viewBox="0.00 0.00 271.75 138.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 134)">
+<title>dependencies</title>
+<polygon fill="white" stroke="none" points="-4,4 -4,-134 267.75,-134 267.75,4 -4,4"/>
+<!-- FFI -->
+<g id="node1" class="node">
+<title>FFI</title>
+<polygon fill="none" stroke="black" stroke-dasharray="5,2" points="68.12,-36 4.88,-36 4.88,0 68.12,0 68.12,-36"/>
+<text text-anchor="middle" x="36.5" y="-12.95" font-family="Times,serif" font-size="14.00">Socket.v</text>
+</g>
+<!-- Echo -->
+<g id="node3" class="node">
+<title>Echo</title>
+<polygon fill="none" stroke="black" points="164.25,-36 110,-36 110,0 164.25,0 164.25,-36"/>
+<text text-anchor="middle" x="137.12" y="-12.95" font-family="Times,serif" font-size="14.00">Echo.v</text>
+</g>
+<!-- FFI&#45;&gt;Echo -->
+<g id="edge3" class="edge">
+<title>FFI&#45;&gt;Echo</title>
+<path fill="none" stroke="black" d="M68.43,-18C78.04,-18 88.73,-18 98.72,-18"/>
+<polygon fill="black" stroke="black" points="98.62,-21.5 108.62,-18 98.62,-14.5 98.62,-21.5"/>
+</g>
+<!-- ffi -->
+<g id="node2" class="node">
+<title>ffi</title>
+<polygon fill="none" stroke="black" points="73,-130 0,-130 0,-94 73,-94 73,-130"/>
+<text text-anchor="middle" x="36.5" y="-106.95" font-family="Times,serif" font-size="14.00">socket.mli</text>
+</g>
+<!-- ffi&#45;&gt;FFI -->
+<g id="edge1" class="edge">
+<title>ffi&#45;&gt;FFI</title>
+<path fill="none" stroke="black" stroke-dasharray="5,2" d="M36.5,-93.61C36.5,-80.37 36.5,-62.23 36.5,-47.04"/>
+<polygon fill="black" stroke="black" points="40,-47.12 36.5,-37.12 33,-47.12 40,-47.12"/>
+<text text-anchor="middle" x="25.25" y="-59.95" font-family="Times,serif" font-size="14.00">coqffi &#160;&#160;&#160;&#160;&#160;</text>
+</g>
+<!-- echo_ml -->
+<g id="node5" class="node">
+<title>echo_ml</title>
+<polygon fill="none" stroke="black" stroke-dasharray="5,2" points="263.75,-130 201.25,-130 201.25,-94 263.75,-94 263.75,-130"/>
+<text text-anchor="middle" x="232.5" y="-106.95" font-family="Times,serif" font-size="14.00">main.ml</text>
+</g>
+<!-- ffi&#45;&gt;echo_ml -->
+<g id="edge5" class="edge">
+<title>ffi&#45;&gt;echo_ml</title>
+<path fill="none" stroke="black" d="M73.08,-112C106.15,-112 155.39,-112 190.18,-112"/>
+<polygon fill="black" stroke="black" points="189.93,-115.5 199.93,-112 189.93,-108.5 189.93,-115.5"/>
+</g>
+<!-- echo_v -->
+<g id="node4" class="node">
+<title>echo_v</title>
+<polygon fill="none" stroke="black" points="259.62,-36 205.38,-36 205.38,0 259.62,0 259.62,-36"/>
+<text text-anchor="middle" x="232.5" y="-12.95" font-family="Times,serif" font-size="14.00">main.v</text>
+</g>
+<!-- Echo&#45;&gt;echo_v -->
+<g id="edge4" class="edge">
+<title>Echo&#45;&gt;echo_v</title>
+<path fill="none" stroke="black" d="M164.63,-18C173.8,-18 184.25,-18 194.12,-18"/>
+<polygon fill="black" stroke="black" points="193.93,-21.5 203.93,-18 193.93,-14.5 193.93,-21.5"/>
+</g>
+<!-- echo_ml&#45;&gt;echo_v -->
+<g id="edge2" class="edge">
+<title>echo_ml&#45;&gt;echo_v</title>
+<path fill="none" stroke="black" stroke-dasharray="5,2" d="M232.5,-82.66C232.5,-67.43 232.5,-49.3 232.5,-36.12"/>
+<polygon fill="black" stroke="black" points="229,-82.61 232.5,-92.61 236,-82.61 229,-82.61"/>
+<text text-anchor="middle" x="221.25" y="-59.95" font-family="Times,serif" font-size="14.00">coqc &#160;&#160;&#160;&#160;</text>
+</g>
+</g>
+</svg>
diff --git a/site/img/eldoc-overlay.png b/site/img/eldoc-overlay.png
deleted file mode 100644
index 4b5a3fe..0000000
--- a/site/img/eldoc-overlay.png
+++ /dev/null
diff --git a/site/img/flycheck-inline.png b/site/img/flycheck-inline.png
index 5c84fa2..7acc42a 100644
--- a/site/img/flycheck-inline.png
+++ b/site/img/flycheck-inline.png
diff --git a/site/img/good-highlighting.png b/site/img/good-highlighting.png
index d05dbd5..aa99337 100644
--- a/site/img/good-highlighting.png
+++ b/site/img/good-highlighting.png
diff --git a/site/img/icons.svg b/site/img/icons.svg
index 917a417..918fd9d 100644
--- a/site/img/icons.svg
+++ b/site/img/icons.svg
@@ -36,4 +36,49 @@
              c44.163-14.653,80.185-41.062,108.068-79.226c27.88-38.161,41.825-81.126,41.825-128.906

              C438.536,184.851,428.728,148.168,409.132,114.573z"/>

   </symbol>

+  <symbol id="clock" viewBox="0 0 512 512">

+    <path d="M464 256A208 208 0 1 1 48 256a208 208 0 1 1 416 0zM0 256a256 256 0 1 0 512 0A256 256 0 1 0 0 256zM232 120V256c0 8 4

+             15.5 10.7 20l96 64c11 7.4 25.9 4.4 33.3-6.7s4.4-25.9-6.7-33.3L280 243.2V120c0-13.3-10.7-24-24-24s-24 10.7-24 24z"/>

+  </symbol>

+  <symbol id="edit" viewBox="0 0 512 512">

+    <path d="M441 58.9L453.1 71c9.4 9.4 9.4 24.6 0 33.9L424 134.1 377.9 88 407 58.9c9.4-9.4 24.6-9.4 33.9 0zM209.8 256.2L344 121.9

+             390.1 168 255.8 302.2c-2.9 2.9-6.5 5-10.4 6.1l-58.5 16.7 16.7-58.5c1.1-3.9 3.2-7.5 6.1-10.4zM373.1 25L175.8 222.2c-8.7

+             8.7-15 19.4-18.3 31.1l-28.6 100c-2.4 8.4-.1 17.4 6.1 23.6s15.2 8.5 23.6 6.1l100-28.6c11.8-3.4 22.5-9.7 31.1-18.3L487

+             138.9c28.1-28.1 28.1-73.7 0-101.8L474.9 25C446.8-3.1 401.2-3.1 373.1 25zM88 64C39.4 64 0 103.4 0 152V424c0 48.6 39.4 88

+             88 88H360c48.6 0 88-39.4 88-88V312c0-13.3-10.7-24-24-24s-24 10.7-24 24V424c0 22.1-17.9 40-40 40H88c-22.1

+             0-40-17.9-40-40V152c0-22.1 17.9-40 40-40H200c13.3 0 24-10.7 24-24s-10.7-24-24-24H88z"/>

+  </symbol>

+  <symbol id="circle-arrow" viewBox="0 0 512 512">

+    <path d="M386.3 160H336c-17.7 0-32 14.3-32 32s14.3 32 32 32H464c17.7 0 32-14.3 32-32V64c0-17.7-14.3-32-32-32s-32 14.3-32

+             32v51.2L414.4 97.6c-87.5-87.5-229.3-87.5-316.8 0s-87.5 229.3 0 316.8s229.3 87.5 316.8 0c12.5-12.5 12.5-32.8

+             0-45.3s-32.8-12.5-45.3 0c-62.5 62.5-163.8 62.5-226.3 0s-62.5-163.8 0-226.3s163.8-62.5 226.3 0L386.3 160z"/>

+  </symbol>

+  <symbol id="tag" viewBox="0 0 448 512">

+    <path d="M0 80V229.5c0 17 6.7 33.3 18.7 45.3l176 176c25 25 65.5 25 90.5 0L418.7 317.3c25-25 25-65.5

+             0-90.5l-176-176c-12-12-28.3-18.7-45.3-18.7H48C21.5 32 0 53.5 0 80zm112 32a32 32 0 1 1 0 64 32 32 0 1 1 0-64z"/>

+  </symbol>

+  <symbol id="book" viewBox="0 0 448 512">

+    <path d="M96 0C43 0 0 43 0 96V416c0 53 43 96 96 96H384h32c17.7 0 32-14.3 32-32s-14.3-32-32-32V384c17.7 0 32-14.3

+             32-32V32c0-17.7-14.3-32-32-32H384 96zm0 384H352v64H96c-17.7 0-32-14.3-32-32s14.3-32 32-32zm32-240c0-8.8

+             7.2-16 16-16H336c8.8 0 16 7.2 16 16s-7.2 16-16 16H144c-8.8 0-16-7.2-16-16zm16 48H336c8.8 0 16 7.2 16 16s-7.2 16-16

+             16H144c-8.8 0-16-7.2-16-16s7.2-16 16-16z"/>

+  </symbol>

+  <symbol id="home" viewBox="0 0 576 512">

+    <path d="M575.8 255.5c0 18-15 32.1-32 32.1h-32l.7 160.2c0 2.7-.2 5.4-.5 8.1V472c0 22.1-17.9 40-40 40H456c-1.1

+            0-2.2 0-3.3-.1c-1.4 .1-2.8 .1-4.2 .1H416 392c-22.1 0-40-17.9-40-40V448 384c0-17.7-14.3-32-32-32H256c-17.7 0-32

+            14.3-32 32v64 24c0 22.1-17.9 40-40 40H160 128.1c-1.5 0-3-.1-4.5-.2c-1.2 .1-2.4 .2-3.6 .2H104c-22.1

+            0-40-17.9-40-40V360c0-.9 0-1.9 .1-2.8V287.6H32c-18 0-32-14-32-32.1c0-9 3-17 10-24L266.4 8c7-7 15-8 22-8s15 2 21

+            7L564.8 231.5c8 7 12 15 11 24z"/>

+  </symbol>

+  <symbol id="tags" viewBox="0 0 512 512">

+    <path d="M345 39.1L472.8 168.4c52.4 53 52.4 138.2 0 191.2L360.8 472.9c-9.3 9.4-24.5 9.5-33.9 .2s-9.5-24.5-.2-33.9L438.6

+             325.9c33.9-34.3 33.9-89.4 0-123.7L310.9 72.9c-9.3-9.4-9.2-24.6 .2-33.9s24.6-9.2 33.9 .2zM0 229.5V80C0 53.5 21.5

+             32 48 32H197.5c17 0 33.3 6.7 45.3 18.7l168 168c25 25 25 65.5 0 90.5L277.3 442.7c-25 25-65.5 25-90.5

+             0l-168-168C6.7 262.7 0 246.5 0 229.5zM144 144a32 32 0 1 0 -64 0 32 32 0 1 0 64 0z"/>

+  </symbol>

+  <symbol id="scroll" viewBox="0 0 576 512">

+    <path d="M0 80v48c0 17.7 14.3 32 32 32H48 96V80c0-26.5-21.5-48-48-48S0 53.5 0 80zM112 32c10 13.4 16 30 16 48V384c0 35.3

+             28.7 64 64 64s64-28.7 64-64v-5.3c0-32.4 26.3-58.7 58.7-58.7H480V128c0-53-43-96-96-96H112zM464 480c61.9 0 112-50.1

+             112-112c0-8.8-7.2-16-16-16H314.7c-14.7 0-26.7 11.9-26.7 26.7V384c0 53-43 96-96 96H368h96z"/>

+  </symbol>

 </svg>

diff --git a/site/img/knitting-20200901.jpeg b/site/img/knitting-20200901.jpeg
deleted file mode 100644
index ebf7239..0000000
--- a/site/img/knitting-20200901.jpeg
+++ /dev/null
diff --git a/site/img/pixel.png b/site/img/pixel.png
deleted file mode 100644
index e9f12bb..0000000
--- a/site/img/pixel.png
+++ /dev/null
diff --git a/site/img/select-theme.png b/site/img/select-theme.png
index 4467c36..f8701be 100644
--- a/site/img/select-theme.png
+++ b/site/img/select-theme.png
diff --git a/site/img/spatial-shell-example.png b/site/img/spatial-shell-example.png
index 4e03e10..7ccbf97 100644
--- a/site/img/spatial-shell-example.png
+++ b/site/img/spatial-shell-example.png
diff --git a/site/img/spatial-shell.png b/site/img/spatial-shell.png
index cb348c2..fb025de 100644
--- a/site/img/spatial-shell.png
+++ b/site/img/spatial-shell.png
diff --git a/site/img/spatial-sway-preview.png b/site/img/spatial-sway-preview.png
index b579587..09ab5a7 100644
--- a/site/img/spatial-sway-preview.png
+++ b/site/img/spatial-sway-preview.png
diff --git a/site/img/thinking.png b/site/img/thinking.png
index a47f2c4..590cbaf 100644
--- a/site/img/thinking.png
+++ b/site/img/thinking.png
diff --git a/site/img/vampy.jpg b/site/img/vampy.jpg
deleted file mode 100644
index e51beca..0000000
--- a/site/img/vampy.jpg
+++ /dev/null
diff --git a/site/img/wrong-highlighting.png b/site/img/wrong-highlighting.png
index 3926ead..15da0ea 100644
--- a/site/img/wrong-highlighting.png
+++ b/site/img/wrong-highlighting.png