Added manuals and refined setup-dev-env task