Spec: Appendix updates - better page flow

doc/tex/appendix.tex

@@ -320,13 +320,14 @@ \section{Indexed Load and Store Discussion}
 
 % ============================================================================
 
+\newpage
 \section{Equivalent C-Code Listings}
 \label{sec:ccode}
 
 \subsection{LUT4}
 \label{sec:ccode:lut4}
 
-\begin{figure}
+\begin{figure}[h]
 \begin{lstlisting}[style=C]
 uint32_t lut4_lo (uint32_t rs1, uint32_t rs2) {
     uint32_t result = 0;
@@ -364,23 +365,12 @@ \subsection{LUT4}
 
 % ============================================================================
 
+\newpage
 \section{Tentative Encoding Proposals}
 
 % NOTE: These are generated by the `bin/parse_opcodes.py` script,
 % which is called by $REPO_HOME/doc/Makefile
 
-\note{
-    All of these encodings are {\em temporary}.
-    They have been assigned to enable experimenting with instructions.
-    They will change before the standard is submitted for ratification.
-}
-
-\todo{
-    Fix how parse opcodes script prints the {\tt rdp} field.
-    Currently makes it just look like zeros. Should be four bit
-    field aligned to top of normal {\tt rd} field.
-}
-
 \import{../build/}{opcodes-crypto.tex}