merge

README.md

@@ -6,6 +6,9 @@ There are a few relatively-complete example DSL implementations: [miniKanren](te
 
 If you'd like to learn more about syntax-spec, you can check out our [ICFP 2024 paper](https://mballantyne.net/publications/icfp2024.pdf) and associated [15-minute talk](https://youtu.be/F70QZaMoYJQ?t=10756), or my longer [demo](demos/mk-workshop-2024) at the 2024 miniKanren workshop.
 
+
+## Installing the release
+
 A release is available on the Racket package server as [`syntax-spec-v2`](https://pkgs.racket-lang.org/package/syntax-spec-v2). 
 
 This is still a prototype: future releases will likely contain breaking changes, and the documentation is incomplete. However, breaking changes will be released under an updated package name.
@@ -22,6 +25,10 @@ and import as
 (require syntax-spec-v2)
 ```
 
+Its documentation is available on [the Racket documentation site](https://docs.racket-lang.org/syntax-spec-v2).
+
+
+## Installing the development version
 
 To use the latest, unstable version, check out the Git repository, change directory into it, and run: