Adds SmartGitHg to dev-env docs.