diff --git a/Zc-specification/Zc.adoc b/Zc-specification/Zc.adoc
index 5897d0d..4a83aa0 100644
--- a/Zc-specification/Zc.adoc
+++ b/Zc-specification/Zc.adoc
@@ -1,6 +1,9 @@
 :sectnums:
+:version-label: v1.0.0-RC5.3
+:lifecycle-state: frozen
+
 [#Zc]
-== Zc* v1.0.0-RC5-2
+== Zc* {version-label}
 
 === Change history since v0.70.1 (tagged release)
 
@@ -8,6 +11,7 @@
 [width="100%",options=header]
 |====================================================================================
 |Version  | change
+|v1.0.0-RC5.3| Add dependency on Zicsr for Zcmt
 |v1.0.0-RC5.2| Adjust the split so we have 240 cm.jalt and 16 cm.jt
 |v1.0.0-RC5.1| Make cm.jt/cm.jalt only valid if JVT.mode=0, and allow different behaviour in the future if JVT.mode>0
 |v1.0.0-RC5| Revert to cm.jt and cm.jalt encodings, to avoid toolchain and trace problems
@@ -274,7 +278,7 @@ state enable if Smstateen is implemented. See <<csrs-jvt>> for details.
 This extension reuses some encodings from _c.fsdsp_.  Therefore it is _incompatible_ with <<Zcd>>,
  which is included when C and D extensions are both present. 
 
-Zcmt requires the <<Zca>> extension.
+Zcmt requires the <<Zca>> and Zicsr extensions.
 
 [%header,cols="^1,^1,4,8"]
 |===
diff --git a/Zc-specification/Zcb_footer.adoc b/Zc-specification/Zcb_footer.adoc
index 6b74990..4dc5660 100644
--- a/Zc-specification/Zcb_footer.adoc
+++ b/Zc-specification/Zcb_footer.adoc
@@ -7,6 +7,6 @@ Included in::
 |Lifecycle state
 
 |Zcb (<<Zcb>>)
-|v1.0.0-RC5.2
-|Stable
+|{version-label}
+|{lifecycle-state}
 |===
diff --git a/Zc-specification/Zcf_footer.adoc b/Zc-specification/Zcf_footer.adoc
index 3c4bc5e..97f38a0 100644
--- a/Zc-specification/Zcf_footer.adoc
+++ b/Zc-specification/Zcf_footer.adoc
@@ -7,6 +7,6 @@ Included in::
 |Lifecycle state
 
 |Zcf (<<Zcf>>)
-|v1.0.0-RC5.2
-|Frozen
+|{version-label}
+|{lifecycle-state}
 |===
diff --git a/Zc-specification/Zcmb_footer.adoc b/Zc-specification/Zcmb_footer.adoc
index e429fc4..163a8db 100644
--- a/Zc-specification/Zcmb_footer.adoc
+++ b/Zc-specification/Zcmb_footer.adoc
@@ -8,5 +8,5 @@ Included in::
 
 |Zcmb (<<Zcmb>>)
 |v0.70.5
-|Stable
+|{lifecycle-state}
 |===
diff --git a/Zc-specification/Zcmp_footer.adoc b/Zc-specification/Zcmp_footer.adoc
index f81343e..0112bc3 100644
--- a/Zc-specification/Zcmp_footer.adoc
+++ b/Zc-specification/Zcmp_footer.adoc
@@ -7,6 +7,6 @@ Included in::
 |Lifecycle state
 
 |Zcmp (<<Zcmp>>)
-|v1.0.0-RC5.2
-|Stable
+|{version-label}
+|{lifecycle-state}
 |===
diff --git a/Zc-specification/Zcmpe_footer.adoc b/Zc-specification/Zcmpe_footer.adoc
index b8e086c..813657e 100644
--- a/Zc-specification/Zcmpe_footer.adoc
+++ b/Zc-specification/Zcmpe_footer.adoc
@@ -7,6 +7,6 @@ Included in::
 |Lifecycle state
 
 |Zcmpe (<<Zcmpe>>)
-|v1.0.0-RC5.2
+|{version-label}
 |Stable
 |===
diff --git a/Zc-specification/Zcmt_footer.adoc b/Zc-specification/Zcmt_footer.adoc
index 2ee6512..d2d3b2d 100644
--- a/Zc-specification/Zcmt_footer.adoc
+++ b/Zc-specification/Zcmt_footer.adoc
@@ -7,6 +7,6 @@ Included in::
 |Lifecycle state
 
 |Zcmt (<<Zcmt>>)
-|v1.0.0-RC5.2
-|Frozen
+|{version-label}
+|{lifecycle-state}
 |===
diff --git a/Zc-specification/cm_pop_popret_loads_pseudo_code.adoc b/Zc-specification/cm_pop_popret_loads_pseudo_code.adoc
index 1582262..85a90e2 100644
--- a/Zc-specification/cm_pop_popret_loads_pseudo_code.adoc
+++ b/Zc-specification/cm_pop_popret_loads_pseudo_code.adoc
@@ -1,6 +1,4 @@
 
-<<<
-
 Operation::
 
 The first section of pseudo-code may be executed multiple times before the instruction successfully completes.
diff --git a/Zc-specification/cm_push_stores_pseudo_code.adoc b/Zc-specification/cm_push_stores_pseudo_code.adoc
index c471f1c..dade4d3 100644
--- a/Zc-specification/cm_push_stores_pseudo_code.adoc
+++ b/Zc-specification/cm_push_stores_pseudo_code.adoc
@@ -1,6 +1,4 @@
 
-<<<
-
 Operation::
 
 The first section of pseudo-code may be executed multiple times before the instruction successfully completes.
diff --git a/Zc-specification/pushpop_extra_info.adoc b/Zc-specification/pushpop_extra_info.adoc
index fb7c1d6..e4cbb83 100644
--- a/Zc-specification/pushpop_extra_info.adoc
+++ b/Zc-specification/pushpop_extra_info.adoc
@@ -19,3 +19,4 @@ None
 
 32-bit equivalent::
 No direct equivalent encoding exists
+