My PR has been closed, because the main contributor created a better solution for the issue I was trying to fix.

Does that sucks? Maybe, but it’s better for the project to have their, better and more mature solution, over mine.

A link to the PR for the curious: https://github.com/cachix/devenv/pull/2932