update book

pietroalbini · pietroalbini · commit 5d842a6f3219 · 2023-04-03T11:44:06.000+02:00
diff --git a/src/doc/book b/src/doc/book
@@ -1 +1 @@
-Subproject commit 21a2ed14f4480dab62438dcc1130291bebc65379
+Subproject commit 0510ca84c2ce6bf93c4ccf9248756e9e4fd00b12
