Currently the documentation is somewhat out of date as it assumes users will be using dune pkg lock. This is now only one of the possible options so the documentation should be updated to reflect that we can run the solver implicitly now.