Move two items out of list

Author: Owen

doc/architectural/front-page.md

@@ -101,14 +101,14 @@ class-level or module-level documentation.
   exercises - mostly modifying goto-instrument, and thus learning to
   manipulate the main data structures used within CBMC.
 
-* For higher-level architectural information, each of the pages under
-  the <a href="modules.html">Modules</a>
-  link gives an overview of a directory in the CProver codebase.
-
-* If you already know exactly what you're looking for, the best place
-  to look is the API reference, which
-  is generated from the codebase. You can search for classes and class
-  members in the search bar at top-right or use one of the links in the
-  sidebar.
+For higher-level architectural information, each of the pages under
+the <a href="modules.html">Modules</a>
+link gives an overview of a directory in the CProver codebase.
+
+If you already know exactly what you're looking for, the best place
+to look is the API reference, which
+is generated from the codebase. You can search for classes and class
+members in the search bar at top-right or use one of the links in the
+sidebar.
 
 \defgroup module_hidden _hidden