Docs-specific dependencies - should I use a separate environment?

Thanks for the quick response, Fredrik. I’m guessing that by ‘install’ you mean adding a the local folder to the environment as suggested here? If so, I had actually previously done it that way since it avoids having to push to remote. But if for some reason the local folder structure changes, then this causes trouble.

Edit: Also I saw your Literate.jl package which seems to be addressing these kinds of problems, so nice to see for future reference.