diff --git a/doc/manual/installing.rst b/doc/manual/installing.rst
index 1bd8560e2..0f2e895ed 100644
--- a/doc/manual/installing.rst
+++ b/doc/manual/installing.rst
@@ -79,6 +79,10 @@ Installing multiple packages and making them visible to the ARTIQ commands requi
           ];
         };
       };
+    nixConfig = {  # work around https://github.com/NixOS/nix/issues/6771
+      extra-trusted-public-keys = "nixbld.m-labs.hk-1:5aSRVA5b320xbNvu30tqxVPXpld73bhtOeH6uAjRyHc=";
+      extra-substituters = "https://nixbld.m-labs.hk";
+    };
   }