fix: remove reference to 'type 4' MXP instructions

Author: OlivierBBB

hub/instruction_handling/copy/generalities.tex

@@ -136,17 +136,13 @@
 					\locTriggerMxp = \one - \stackRdcx_{i}
 				\]
 			\item[\underline{Specifying \locTriggerMmu{}:}]
-				\label{locTriggerMmu for the copy family}
+				\label{hub: instruction handling: copy: trigger MMU}
 				for a \inst{COPY}-type instruction to trigger the \mmuMod{} is is necessary and sufficient that the instruction raise no exception and be provided with a nonzero size parameter;
 				as such we set
 				\begin{enumerate}
 					\item \If $\xAhoy _{i} = 1$ \Then $\locTriggerMmu = 0$
 					\item \If $\xAhoy _{i} = 0$ \Then $\locTriggerMmu = \miscMxpSizeOneNonzeroNoMxpx _{i + \locCopyMiscRowOffset}$
 				\end{enumerate}
-				\saNote{}
-				Recall the specification of \miscMxpSizeOneNonzeroNoMxpx{} in the \mxpMod{}, section~(\ref{mxp: may trigger non trivial operation}).
-				This flag vanishes for instructions that aren't ``\textbf{type 4}'' as well as whenever the \mxpx{} flag is raised.
-				In all other cases this flag is $0$ \textbf{iff} the size parameter \locSizeLo{} is zero.
 			\item[\underline{Setting \oobMod{} data:}]
 				\If $\miscOobFlag _{i + \locCopyMiscRowOffset} = 1$ \Then we impose
 				\[

hub/instruction_handling/copy/specifics/extcodecopy.tex

@@ -97,7 +97,7 @@
 		\[
 			\locTriggerCfi = \locIsExtcc \cdot \locTriggerMmu \cdot \locHasCode
 		\]
-		\saNote{} By construction the \locTriggerMmu{} flag, see section~(\ref{locTriggerMmu for the copy family}), \locTriggerMmu{} is off whenever an exception occurs or the instruction is unexceptional but has zero size.
+		\saNote{} By construction the \locTriggerMmu{} flag, see section~(\ref{hub: instruction handling: copy: trigger MMU}), \locTriggerMmu{} is off whenever an exception occurs or the instruction is unexceptional but has zero size.
 	\item[\underline{\underline{The unexceptional, reverted case:}}]
 		\If $\xAhoy_{i} = 0$ \et $\cnWillRev_{i} = 1$ \Then 
 		\begin{description}