Update layout and fix broken citations

src/zacas.adoc

@@ -1,7 +1,5 @@
 == "Zacas" Extension for Atomic Compare-and-Swap (CAS) Instructions, Version 1.0.0
 
-=== Introduction
-
 Compare-and-Swap (CAS) provides an easy and typically faster way to perform
 thread synchronization operations when supported as a hardware instruction. CAS
 is typically used by lock-free and wait-free algorithms. This extension proposes
@@ -20,12 +18,11 @@ quadword compare and swap (of both the pointer and the counter). The double and
 quadword CAS instructions support implementation of algorithms for ABA problem
 avoidance.
 
-The Zacas extension depends upon the Zaamo extension cite:[unpriv].
+The Zacas extension depends upon the Zaamo extension.
 
-[[chapter2]]
-=== Word/Doubleword/Quadword CAS (AMOCAS.W/D/Q)
+=== Word/Doubleword/Quadword CAS (AMOCAS.W/D/Q) Instructions
 
-[wavedrom, , ] 
+[wavedrom, , svg]
 .... 
 {reg: [
   {bits:  7, name: 'opcode', attr:'AMO'},
@@ -119,6 +116,9 @@ is `x0`, then both halves of the pair read as zero. When the first register of a
 destination register pair is `x0`, then the entire register result is discarded
 and neither destination register is written. The operation performed by
 `AMOCAS.Q` is as follows:
+
+<<<
+
 [listing]
     temp0 = mem[X(rs1)+0]
     temp1 = mem[X(rs1)+8]
@@ -196,8 +196,6 @@ not have release semantics, regardless of `rl`.
 
 An `AMOCAS.W/D/Q` instruction always requires write permissions.
 
-<<<
-
 [NOTE]
 ====
 The following example code sequence illustrates the use of `AMOCAS.Q` to