Renamings and some explanations

trees/latex-preamble.tree

@@ -1,3 +1,13 @@
+\title{LaTeX preambles}
+
+\p{This tree defines}
+
+\ol{
+    \li{\code{\startverb\latex-preamble/common\stopverb}}
+}
+
+\p{They are used by [[base-macros]].}
+
 \def\latex-preamble/common{
  \startverb
 % because LaTeX is running in `build` directory

trees/spin-0001.tree

@@ -0,0 +1,13 @@
+\title{a survey of Spin groups}
+
+\author{utensil}
+
+\date{2024-04-26}
+
+\p{This survey is built on my notes in the process of figuring out Eric Wiesser's MathOverflow question [Definition of a spin group](https://mathoverflow.net/questions/427881/definition-of-a-spin-group) for [our PR to Mathlib4 about Spin groups](https://github.com/leanprover-community/mathlib4/pull/9111/).}
+
+\p{This is also my first [[uts-0002]].}
+
+\transclude{spin-0002}
+
+\transclude{spin-0003}

trees/uts-0001.tree

@@ -1,7 +1,9 @@
-\title{Home}
+\title{home}
 
 \author{utensil}
 
 \date{2024-04-24}
 
-\p{Testing, see [Spin groups](uts-0002) for some math.}
+\p{[Experimenting](uts-0002), see [[spin-0001]] for some math.}
+
+\p{To search, press \code{Ctrl+K} or \code{Cmd+K}.}

trees/uts-0002.tree

@@ -1,13 +1,11 @@
-\title{A survey of Spin groups}
+\title{Forester experiment}
 
-\author{utensil}
+\date{2024-04-27}
 
-\date{2024-04-26}
+\p{I'm experimenting using [Forester](https://www.jonmsterling.com/jms-005P.xml) for building [forests of evergreen notes](https://www.jonmsterling.com/tfmt-000V.xml) like [Notes on duploid theory](https://www.jonmsterling.com/jms-0047.xml).}
 
-\p{This survey is built on my notes in the process of figuring out Eric Wiesser's MathOverflow question [Definition of a spin group](https://mathoverflow.net/questions/427881/definition-of-a-spin-group) for [our PR to Mathlib4 about Spin groups](https://github.com/leanprover-community/mathlib4/pull/9111/).}
+\p{I wish to use it to organize many definitions, proofs and discussions about the same mathematical concepts/topics. This is a spiritual successor to my "Many faces of Clifford algebras" writeup.}
 
-\p{This is also my first [Forester experiment](uts-0003).}
+\p{My hope is to find these notes easier to reuse and refer to in blogs, papers, blueprints etc.}
 
-\transclude{uts-0004}
-
-\transclude{uts-0005}
+\p{See [The Forester markup language](https://www.jonmsterling.com/jms-007N.xml) for Markup references, also consult [Forester changlog](https://www.jonmsterling.com/jms-005P.xml) for updates.}