CRA-534: updated CRAVA user manual.