Update re the qemu-user-static bug

src/install.md

@@ -41,10 +41,7 @@ Synit builds upon many existing technologies, but primarily relies on the follow
 
  - <a id="binfmt"></a>For cross builds (e.g. the very common case of building for `aarch64` on
    an `x86_64` host), `qemu` and its `binfmt` support. On Debian, `apt install binfmt-support
-   qemu-user-static`. (**NB.** Version `1:7.0+dfsg-7` of `qemu-user-static` has a bug (possibly
+   qemu-user-static`.[^debian-qemu-bug]
-   [this one](https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014177)) which makes
-   Docker-based cross builds hang. *Downgrading* `qemu-user-static` to version
-   `1:5.2+dfsg-11+deb11u2` worked for me.)
 
  - Source code for Synit components (see below).
 
@@ -141,3 +138,12 @@ README](https://git.syndicate-lang.org/tonyg/squeak-phone/src/branch/main/README
 With luck, you'll see the Smalltalk user interface start up. (If you didn't install the UI, you
 should still be able to `ssh` into the system.) From here, you can operate the system normally,
 following the information in [the following chapter](./operation/index.md).
+
+---
+
+#### Notes
+
+[^debian-qemu-bug]: Version `1:7.0+dfsg-7` of `qemu-user-static` has a bug (possibly [this
+    one](https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014177)) which makes Docker-based
+    cross builds hang. *Downgrading* `qemu-user-static` to version `1:5.2+dfsg-11+deb11u2`
+    worked for me, as did *upgrading* (as of October 2022) to version `1:7.1+dfsg-2`.