diff --git a/docs/make.jl b/docs/make.jl
index 9110b586..b1714cac 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -4,8 +4,11 @@
 # to serve the documentation (option 2 — Julia only):
 #   julia --project=docs -e 'using LiveServer; LiveServer.serve(dir="docs/build/1", single_page=true)'
 # note: single_page=true is required so that reloading /getting-started serves the correct HTML
-pushfirst!(LOAD_PATH, joinpath(@__DIR__))
-pushfirst!(LOAD_PATH, joinpath(@__DIR__, ".."))
+# Append (not prepend): docs/Manifest.toml must win for shared deps; the repo root is only
+# needed to find the local CTModels. Prepending it lets the root environment shadow docs/ and
+# breaks the precompilation of extensions on weak dependencies installed only in docs/.
+push!(LOAD_PATH, joinpath(@__DIR__))
+push!(LOAD_PATH, joinpath(@__DIR__, ".."))
 
 using Documenter
 using DocumenterVitepress