Update the documenting section of the User Manual