Merge branch 'master' into 'master'

Note explaining how to increase docker memory allocation

See merge request invcomplexity/lab-manual!3

gt-workbench.md

@@ -160,6 +160,13 @@ compilation. However, the memory usage will increase linearly with that number
 as well. Therefore, you should choose the highest number of jobs that will not
 cause you to run out of memory, or to start to "swap". The latter will actually
 make your compilation significantly slower!
+
+Note that, in some configurations, Docker containers are memory limited. This
+means that if you are compiling ``graph-tool`` in a container, the compilation 
+may be terminated when the container runs out of memory, even if there is 
+sufficient memory available on your machine. Container memory settings can be 
+changed under the resources tab in the Docker Desktop app or in the command line 
+as detailed [here](https://docs.docker.com/engine/containers/resource_constraints/#memory).
 :::
 
 After compilation, we can install the library in the system with: