Potential optimization -> subsubsection

Author: RobinJadoul

spec/cpu.typ

@@ -69,10 +69,12 @@ Constraints on `pc_double_read` corresponding to an `AUIPC` instruction are not
 as regardless of its value, the old timestamp is guaranteed smaller than the new timestamp,
 and the integrity of the memory argument therefor ensures the correctness of this bit.
 
-#bold[Potential optimization: ] `double_pc_read` could be integrated into decoding, so that `AUIPC` could set `read_register1 = 0` and no extra MEMW access for `rv1` is needed at this point.
-
 #render_constraint_table(chip, config, groups: "mem")
 
+=== Potential optimizations
+
+- `double_pc_read` could be integrated into decoding, so that `AUIPC` could set `read_register1 = 0` and no extra MEMW access for `rv1` is needed at this point.
+
 == System
 
 The interactions with the wider system.