clarified location of manuals in cmdstan page