Edit the User Guide documentation to clarify a few items