diff --git a/doc/manual/rl-next/homeless-shelter-to-proc.md b/doc/manual/rl-next/homeless-shelter-to-proc.md
new file mode 100644
index 000000000..4f9519eb4
--- /dev/null
+++ b/doc/manual/rl-next/homeless-shelter-to-proc.md
@@ -0,0 +1,9 @@
+---
+synopsis: On linux, set $HOME=/proc/homeless-shelter instead of /homeless-shelter
+issues: [8313, 11295]
+prs: [11300]
+---
+
+When building, $HOME is set to a non-existing dir. Previously it was always set to `/homeless-shelter`. After a build, the builder verifies that it doesn't exist. In some scenarios (specifically when using the linux sandbox with a single-user installation), it is possible to create the `/homeless-shelter` directory, and some tools will create it, resulting in a build error.
+
+Now, on Linux, $HOME is set to `/proc/homeless-shelter`. This directory can never be created, since `/proc` is a virtual filesystem. This resolves the issue.