> Strictly speaking, the second option (specifying the sandbox as the user db) is a more correct match with what cabal-install does Ok, is there then a need for the `-no-user-package-db`?