design/tpl: Reposition disjunctive classification footnote

The original position made it look to much like d^2.

design/tpl/sec/class.tex

@@ -94,16 +94,16 @@ is equivalent to the proposition
 
 \index{classification!disjunctive}
 \begin{definition}[\logor-Classification]\dfnlabel{classe}
-  A disjunctive classification~$d$\footnote{%
-    It is notationally convenient that~$c$ is a common prefix for both
-      \underline{c}lassification \emph{and} \underline{c}onjunction,
-        and also that~$d$ happens to follow~$c$ \emph{and} be the prefix for
-        \underline{d}isjunction.
-    This notation will only be used where such a distinction is relevant,
-      and $c$~will otherwise refer generically to any type of
-      classification.}
-    with the attribute \xpath{@any="true"} performs disjunction on its match
-      expressions $M_0\ldots M_n$.
+  A disjunctive classification~$d$ with \xpath{@any="true"}
+    performs disjunction on its match expressions
+    $M_0\ldots M_n$.\footnote{%
+      It is notationally convenient that~$c$ is a common prefix for both
+        \underline{c}lassification \emph{and} \underline{c}onjunction,
+          and also that~$d$ happens to follow~$c$ \emph{and} be the prefix for
+          \underline{d}isjunction.
+      This notation will only be used where such a distinction is relevant,
+        and $c$~will otherwise refer generically to any type of
+        classification.}
 
   \begin{alignat*}{2}
     &\xml{<classify as="} &&d\xml{" any="true" desc="$\ldots$">} \\