diff --git a/host-spec/ae-hostapi.tm b/host-spec/ae-hostapi.tm
index 78a961ecf..717e9fc18 100644
--- a/host-spec/ae-hostapi.tm
+++ b/host-spec/ae-hostapi.tm
@@ -1,4 +1,4 @@
-<TeXmacs|1.99.17>
+<TeXmacs|1.99.16>
 
 <project|host-spec.tm>
 
@@ -1304,10 +1304,34 @@
     <item><strong|><verbatim|data>: a pointer-size as defined in Definition
     <reference|defn-runtime-pointer> indicating the data to be hashed.
 
-    <item><verbatim|return>: a reglar pointer to the buffer containing the
+    <item><verbatim|return>: a regular pointer to the buffer containing the
     256-bit hash result.
   </itemize>
 
+  <subsection|<verbatim|ext_hashing_keccak_512>>
+
+  Conducts a 512-bit Keccak hash.
+
+  <subsubsection|Version 1 - Prototype>
+
+  <\verbatim>
+    (func $ext_hashing_keccak_512_version_1
+
+    \ \ (param $data i64) (return i32))
+  </verbatim>
+
+  \;
+
+  <strong|Arguments>:
+
+  <\itemize>
+    <item><strong|><verbatim|data>: a pointer-size as defined in Definition
+    <reference|defn-runtime-pointer> indicating the data to be hashed.
+
+    <item><verbatim|return>: a regular pointer to the buffer containing the
+    512-bit hash result.
+  </itemize>
+
   <subsection|<verbatim|ext_hashing_sha2_256>>
 
   Conducts a 256-bit Sha2 hash.
@@ -2399,7 +2423,7 @@
 <\initial>
   <\collection>
     <associate|chapter-nr|8>
-    <associate|page-first|95>
+    <associate|page-first|87>
     <associate|page-height|auto>
     <associate|page-medium|papyrus>
     <associate|page-type|letter>
@@ -2414,76 +2438,78 @@
     <associate|appendix-e|<tuple|A|95>>
     <associate|auto-1|<tuple|A|95>>
     <associate|auto-10|<tuple|A.1.4.1|96>>
-    <associate|auto-100|<tuple|A.3|110>>
-    <associate|auto-101|<tuple|A.5.1|110>>
-    <associate|auto-102|<tuple|A.5.1.1|110>>
-    <associate|auto-103|<tuple|A.5.2|110>>
-    <associate|auto-104|<tuple|A.5.2.1|110>>
-    <associate|auto-105|<tuple|A.5.3|111>>
-    <associate|auto-106|<tuple|A.5.3.1|111>>
-    <associate|auto-107|<tuple|A.5.4|111>>
-    <associate|auto-108|<tuple|A.5.4.1|111>>
-    <associate|auto-109|<tuple|A.5.5|111>>
+    <associate|auto-100|<tuple|A.4.8.1|110>>
+    <associate|auto-101|<tuple|A.5|110>>
+    <associate|auto-102|<tuple|A.3|110>>
+    <associate|auto-103|<tuple|A.5.1|110>>
+    <associate|auto-104|<tuple|A.5.1.1|110>>
+    <associate|auto-105|<tuple|A.5.2|111>>
+    <associate|auto-106|<tuple|A.5.2.1|111>>
+    <associate|auto-107|<tuple|A.5.3|111>>
+    <associate|auto-108|<tuple|A.5.3.1|111>>
+    <associate|auto-109|<tuple|A.5.4|111>>
     <associate|auto-11|<tuple|A.1.5|96>>
-    <associate|auto-110|<tuple|A.5.5.1|111>>
-    <associate|auto-111|<tuple|A.5.6|112>>
-    <associate|auto-112|<tuple|A.5.6.1|112>>
-    <associate|auto-113|<tuple|A.5.7|112>>
-    <associate|auto-114|<tuple|A.5.7.1|112>>
-    <associate|auto-115|<tuple|A.5.8|112>>
-    <associate|auto-116|<tuple|A.5.8.1|112>>
-    <associate|auto-117|<tuple|A.5.9|112>>
-    <associate|auto-118|<tuple|A.5.9.1|112>>
-    <associate|auto-119|<tuple|A.5.10|113>>
+    <associate|auto-110|<tuple|A.5.4.1|111>>
+    <associate|auto-111|<tuple|A.5.5|112>>
+    <associate|auto-112|<tuple|A.5.5.1|112>>
+    <associate|auto-113|<tuple|A.5.6|112>>
+    <associate|auto-114|<tuple|A.5.6.1|112>>
+    <associate|auto-115|<tuple|A.5.7|112>>
+    <associate|auto-116|<tuple|A.5.7.1|112>>
+    <associate|auto-117|<tuple|A.5.8|112>>
+    <associate|auto-118|<tuple|A.5.8.1|112>>
+    <associate|auto-119|<tuple|A.5.9|113>>
     <associate|auto-12|<tuple|A.1.5.1|96>>
-    <associate|auto-120|<tuple|A.5.10.1|113>>
-    <associate|auto-121|<tuple|A.5.11|113>>
-    <associate|auto-122|<tuple|A.5.11.1|113>>
-    <associate|auto-123|<tuple|A.5.12|113>>
-    <associate|auto-124|<tuple|A.5.12.1|114>>
-    <associate|auto-125|<tuple|A.5.13|114>>
-    <associate|auto-126|<tuple|A.5.13.1|114>>
-    <associate|auto-127|<tuple|A.5.14|114>>
-    <associate|auto-128|<tuple|A.5.14.1|114>>
-    <associate|auto-129|<tuple|A.5.15|115>>
+    <associate|auto-120|<tuple|A.5.9.1|113>>
+    <associate|auto-121|<tuple|A.5.10|113>>
+    <associate|auto-122|<tuple|A.5.10.1|113>>
+    <associate|auto-123|<tuple|A.5.11|113>>
+    <associate|auto-124|<tuple|A.5.11.1|114>>
+    <associate|auto-125|<tuple|A.5.12|114>>
+    <associate|auto-126|<tuple|A.5.12.1|114>>
+    <associate|auto-127|<tuple|A.5.13|114>>
+    <associate|auto-128|<tuple|A.5.13.1|114>>
+    <associate|auto-129|<tuple|A.5.14|115>>
     <associate|auto-13|<tuple|A.1.6|97>>
-    <associate|auto-130|<tuple|A.5.15.1|115>>
-    <associate|auto-131|<tuple|A.5.16|115>>
-    <associate|auto-132|<tuple|A.5.16.1|115>>
-    <associate|auto-133|<tuple|A.5.17|115>>
-    <associate|auto-134|<tuple|A.5.17.1|115>>
-    <associate|auto-135|<tuple|A.6|116>>
-    <associate|auto-136|<tuple|A.6.1|116>>
-    <associate|auto-137|<tuple|A.6.1.1|116>>
-    <associate|auto-138|<tuple|A.6.2|116>>
-    <associate|auto-139|<tuple|A.6.2.1|116>>
+    <associate|auto-130|<tuple|A.5.14.1|115>>
+    <associate|auto-131|<tuple|A.5.15|115>>
+    <associate|auto-132|<tuple|A.5.15.1|115>>
+    <associate|auto-133|<tuple|A.5.16|115>>
+    <associate|auto-134|<tuple|A.5.16.1|115>>
+    <associate|auto-135|<tuple|A.5.17|116>>
+    <associate|auto-136|<tuple|A.5.17.1|116>>
+    <associate|auto-137|<tuple|A.6|116>>
+    <associate|auto-138|<tuple|A.6.1|116>>
+    <associate|auto-139|<tuple|A.6.1.1|116>>
     <associate|auto-14|<tuple|A.1.6.1|97>>
-    <associate|auto-140|<tuple|A.6.3|116>>
-    <associate|auto-141|<tuple|A.6.3.1|116>>
-    <associate|auto-142|<tuple|A.6.4|116>>
-    <associate|auto-143|<tuple|A.6.4.1|116>>
-    <associate|auto-144|<tuple|A.7|117>>
-    <associate|auto-145|<tuple|A.7.1|117>>
-    <associate|auto-146|<tuple|A.7.1.1|117>>
-    <associate|auto-147|<tuple|A.7.2|117>>
-    <associate|auto-148|<tuple|A.7.2.1|117>>
-    <associate|auto-149|<tuple|A.7.3|117>>
+    <associate|auto-140|<tuple|A.6.2|116>>
+    <associate|auto-141|<tuple|A.6.2.1|116>>
+    <associate|auto-142|<tuple|A.6.3|116>>
+    <associate|auto-143|<tuple|A.6.3.1|116>>
+    <associate|auto-144|<tuple|A.6.4|117>>
+    <associate|auto-145|<tuple|A.6.4.1|117>>
+    <associate|auto-146|<tuple|A.7|117>>
+    <associate|auto-147|<tuple|A.7.1|117>>
+    <associate|auto-148|<tuple|A.7.1.1|117>>
+    <associate|auto-149|<tuple|A.7.2|117>>
     <associate|auto-15|<tuple|A.1.7|97>>
-    <associate|auto-150|<tuple|A.7.3.1|117>>
-    <associate|auto-151|<tuple|A.7.4|117>>
-    <associate|auto-152|<tuple|A.7.4.1|117>>
-    <associate|auto-153|<tuple|A.7.5|118>>
-    <associate|auto-154|<tuple|A.7.5.1|118>>
-    <associate|auto-155|<tuple|A.8|118>>
-    <associate|auto-156|<tuple|A.8.1|118>>
-    <associate|auto-157|<tuple|A.8.1.1|118>>
-    <associate|auto-158|<tuple|A.8.2|118>>
-    <associate|auto-159|<tuple|A.8.2.1|118>>
+    <associate|auto-150|<tuple|A.7.2.1|117>>
+    <associate|auto-151|<tuple|A.7.3|117>>
+    <associate|auto-152|<tuple|A.7.3.1|117>>
+    <associate|auto-153|<tuple|A.7.4|118>>
+    <associate|auto-154|<tuple|A.7.4.1|118>>
+    <associate|auto-155|<tuple|A.7.5|118>>
+    <associate|auto-156|<tuple|A.7.5.1|118>>
+    <associate|auto-157|<tuple|A.8|118>>
+    <associate|auto-158|<tuple|A.8.1|118>>
+    <associate|auto-159|<tuple|A.8.1.1|118>>
     <associate|auto-16|<tuple|A.1.7.1|97>>
-    <associate|auto-160|<tuple|A.9|118>>
-    <associate|auto-161|<tuple|A.4|119>>
-    <associate|auto-162|<tuple|A.9.1|119>>
-    <associate|auto-163|<tuple|A.9.1.1|119>>
+    <associate|auto-160|<tuple|A.8.2|118>>
+    <associate|auto-161|<tuple|A.8.2.1|119>>
+    <associate|auto-162|<tuple|A.9|119>>
+    <associate|auto-163|<tuple|A.4|119>>
+    <associate|auto-164|<tuple|A.9.1|?>>
+    <associate|auto-165|<tuple|A.9.1.1|?>>
     <associate|auto-17|<tuple|A.1.8|97>>
     <associate|auto-18|<tuple|A.1.8.1|97>>
     <associate|auto-19|<tuple|A.1.9|97>>
@@ -2574,7 +2600,7 @@
     <associate|auto-96|<tuple|A.4.6.1|109>>
     <associate|auto-97|<tuple|A.4.7|109>>
     <associate|auto-98|<tuple|A.4.7.1|109>>
-    <associate|auto-99|<tuple|A.5|109>>
+    <associate|auto-99|<tuple|A.4.8|109>>
     <associate|defn-child-storage-type|<tuple|A.4|99>>
     <associate|defn-ecdsa-verify-error|<tuple|A.6|102>>
     <associate|defn-http-error|<tuple|A.10|110>>
diff --git a/host-spec/c04-networking.tm b/host-spec/c04-networking.tm
index 97e70f48a..73cf6f9fc 100644
--- a/host-spec/c04-networking.tm
+++ b/host-spec/c04-networking.tm
@@ -452,7 +452,7 @@
   <subsubsection|Transactions><label|sect-msg-transactions>
 
   Transactions as defined and described in Section
-  <reference|sect-transactions> are sent directly to peers with which the
+  <reference|sect-extrinsics> are sent directly to peers with which the
   Polkadot Host has an open transaction substream, as defined in Definition
   <reference|defn-transactions-message>. Polkadot Host implementers should
   implement a mechanism which only sends a transaction once to each peer and
@@ -460,9 +460,7 @@
   undefined consequences such as being blocked for bad behavior by peers.
 
   The mechanism for managing transactions is further described in Section
-  <reference|sect-extrinsics> respectively Section
-  <reference|sect-transaction-submission> and Section
-  <reference|sect-transaction-queue>.
+  <reference|sect-extrinsics>.
 
   <\definition>
     <label|defn-transactions-message>The <strong|transactions message> is the