The user docs incorrectly reference the devenv directory