docs(dev-desktops): document available disk space

Author: marcoieni

src/infra/docs/dev-desktop.md

@@ -186,6 +186,15 @@ It helps to check <https://packages.ubuntu.com/> first and make sure that the
 package is available for both `arm64` and `amd64` architectures. The dev
 desktops are currently running Ubuntu 22.04 LTS.
 
+## Available disk space
+
+Every user has a quota of how much disk space they can use.
+Currently, the quota is set to
+[150GB](https://github.com/rust-lang/simpleinfra/blob/8a59e4faeb75a09b072671c74a7cb70160ebef50/ansible/roles/dev-desktop/defaults/main.yml#L7).
+
+Exceeding the quota will result in the error `Disk quota exceeded (os error 122)`.
+To save disk space, you may need to remove your build directory as it tends to accumulate a lot of outdated artifacts.
+
 ## How to give feedback and report issues
 
 If you experience any problems with the dev desktops, or have feedback and