diff --git a/doc/manual/installing.rst b/doc/manual/installing.rst
index 958a075ae..6114d35ad 100644
--- a/doc/manual/installing.rst
+++ b/doc/manual/installing.rst
@@ -82,7 +82,7 @@ Installing multiple packages and making them visible to the ARTIQ commands requi
           ps.bokeh
         ]))
         # List desired non-Python packages here
-        m-labs.openocd  # needed for flashing boards locally
+        m-labs.openocd  # needed for flashing boards, also provides proxy bitstreams
         pkgs.spyder
       ];
     }