> The separation of the User Guide lets people have a PDF - a highly > desired/demanded change - but it can make it harder to find > specific things because the docs are not all in one place and can't > be linked together or searched for globally as easily.) It would make sense to include both. J.