CRA-534: Some updates and comments to the CRAVA_user_manual.tex.