diff --git a/doc/manual/troubleshooting/collisions-nixenv.xml b/doc/manual/troubleshooting/collisions-nixenv.xml
index 316d2d16c..23cc43faf 100644
--- a/doc/manual/troubleshooting/collisions-nixenv.xml
+++ b/doc/manual/troubleshooting/collisions-nixenv.xml
@@ -33,11 +33,6 @@ environment (if already installed) using nix-env
-e, or specify exactly which version should be installed
(e.g., nix-env -i docbook-xml-4.2).
-Alternatively, you can modify the user environment builder
-script (in
-prefix/share/nix/corepkgs/buildenv/builder.pl)
-to implement some conflict resolution policy. E.g., the script could
-be modified to rename conflicting file names, or to pick one over the
-other.
+