chore: Backport #4261 to web (#4313)

Co-authored-by: Maximilian Roos <5635139+max-sixty@users.noreply.github.com>

web/book/src/project/contributing/development.md

@@ -112,6 +112,11 @@ and its system requirements. Then refer to the links above to get started.
 
 ### Option 4: Use nix development environment
 
+```admonish note
+This is used by a member of the core team on Linux, but doesn't currently work on Mac. We're open to
+contributions to improve support.
+```
+
 A [nix](https://nixos.org/) flake `flake.nix` provides 3 development
 environments:
 
@@ -134,15 +139,15 @@ To load the shell:
    tee 'experimental-features = nix-command flakes' >> ~/.config/nix/nix.conf
    ```
 
-   For NixOs users, follow instructions [here](https://nixos.wiki/wiki/Flakes).
+   For NixOS users, follow instructions [here](https://nixos.wiki/wiki/Flakes).
 
 3. Run:
 
    ```sh
    nix develop
    ```
 
-   If you want "web" or "full" shell, run:
+   To use the "web" or "full" shell, run:
 
    ```sh
    nix develop .#web