formatting/style tweaks

src/rva23-profile.adoc

@@ -171,17 +171,17 @@ The following are new development options intended to become mandatory in a futu
 - *Ziccamoc* Main memory regions with both the cacheability and coherence PMAs
   must provide `AMOCASQ` level PMA support.
 
-NOTE: *Ziccamoc* This is a new profile-defined extension to ensure
+NOTE: Ziccamoc is a new profile-defined extension that ensures
 Compare and Swap instructions are properly supported in main memory
 regions.  The extension will be added to the PMA section of the
 privileged architecture manual.
 
 - *Zvbc* Vector carryless multiplication.
 - *Zama16b* Misaligned loads, stores, and AMOs to main memory regions that do not cross a naturally aligned 16-byte boundary are atomic.
 
-NOTE: *Zama16b* This is a new profile-defined extension to represent
+NOTE: Zama16b is a new profile-defined extension that represents
 the presence of the new Misaligned Atomicity Granule feature added in
-Priv-1.13.  The extension name will be added to the PMA section of the
+Sm1p13.  The extension will be added to the PMA section of the
 privileged architecture manual.
 
 ===== Expansion Options
@@ -301,10 +301,10 @@ NOTE: Ssu64xl was optional in RVA22.
 
 - *Sha* The augmented hypervisor extension.
 
-NOTE: *Sha* is a new profile-defined extension name to capture the
+NOTE: Sha is a new profile-defined extension that captures the
 full set of features that are mandated to be supported along with the
-*H* extension.  There is no change to the features added by including
-the hypervisor extension in a profile --- the new name is solely to
+H extension.  There is no change to the features added by including
+the hypervisor extension in a profile--the new name is solely to
 simplify the text of the profiles.  The definition has been added to
 the RVA22 profile text, where the hypervisor extension was first
 added, but will be added to the hypervisor section of the combined ISA
@@ -335,7 +335,7 @@ manual.
   `satp`, the corresponding hgatp SvNNx4 mode must be supported.  The
   `hgatp` mode Bare must also be supported.
 
-NOTE: The augmented hypervisor extension (exactly equivalet to *Sha*) was optional in RVA22.
+NOTE: The augmented hypervisor extension (exactly equivalet to Sha) was optional in RVA22.
 
 ==== RVA23S64 Optional Extensions