src/Tools/ROOT

--- a/src/Tools/ROOT	Fri Aug 26 21:55:03 2022 +0200
+++ b/src/Tools/ROOT	Fri Aug 26 23:12:42 2022 +0200
@@ -1,4 +1,4 @@
-chapter Tools
+chapter Misc
 
 session Tools = Pure +
   theories