Copy across easy wins from the wip branch

README.md

@@ -64,6 +64,7 @@ Implementations of the data model, plus Syrup transfer syntax:
 
 ## Additional resources
 
+ - [Cheat sheet(s) for Preserves syntax](cheatsheet.html)
  - Some [conventions for common data types](conventions.html)
  - [Open questions](questions.html); see also the
    [issues list]({{page.projectpages}}/issues)

_config.yml

@@ -13,5 +13,5 @@ defaults:
       layout: page
 
 title: "Preserves"
-version_date: "February 2023"
-version: "0.6.4"
+version_date: "March 2023"
+version: "0.7.0"

_includes/cheatsheet-binary.md

@@ -0,0 +1 @@
+(TODO)

_layouts/redirect.html

@@ -0,0 +1,9 @@
+---
+layout: skeleton
+extra_html_headers: |
+  <link rel="canonical" href="{{ site.baseurl }}{{ page.redirect_target }}">
+  <meta http-equiv="Refresh" content="0; URL={{ site.baseurl }}{{ page.redirect_target }}">
+---
+<h1>Redirecting</h1>
+
+<p>Redirecting you to <a href="{{ site.baseurl }}{{ page.redirect_target }}">{{ page.redirect_target }}</a>.</p>

cheatsheet.md

@@ -0,0 +1,11 @@
+---
+no_site_title: true
+title: "Preserves Cheatsheets"
+---
+
+Tony Garnock-Jones <tonyg@leastfixedpoint.com>  
+{{ site.version_date }}. Version {{ site.version }}.
+
+## Machine-Oriented Binary Syntax
+
+{% include cheatsheet-binary.md %}

conventions.md

@@ -112,17 +112,10 @@ such media types following the general rules for ordering of
 
 **Examples.**
 
-    «<mime application/octet-stream #"abcde">»
-      = B4 B3 04 "mime" B3 18 "application/octet-stream" B2 05 "abcde"
-
-    «<mime text/plain #"ABC">»
-      = B4 B3 04 "mime" B3 0A "text/plain" B2 03 "ABC" 84
-
-    «<mime application/xml #"<xhtml/>">»
-      = B4 B3 04 "mime" B3 0F "application/xml" B2 08 "<xhtml/>" 84
-
-    «<mime text/csv #"123,234,345">»
-      = B4 B3 04 "mime" B3 08 "text/csv" B2 0B "123,234,345" 84
+    <mime application/octet-stream #"abcde">
+    <mime text/plain #"ABC">
+    <mime application/xml #"<xhtml/>">
+    <mime text/csv #"123,234,345">
 
 ## Unicode normalization forms.
 

preserves.md

@@ -190,7 +190,7 @@ domain-specific rules.
     `Embedded` rewriting without the quotation-related complications
     of encoding references as, say, `Record`s.
 
-*Examples.* In a Java or Python implementation, an `Embedded` may
+*Motivating Examples.* In a Java or Python implementation, an `Embedded` may
 denote a reference to a Java or Python object; comparison would be
 done via the language's own rules for equivalence and ordering. In a
 Unix application, an `Embedded` may denote an open file descriptor or