diff --git a/docu/mars-user-manual.pdf b/docu/mars-user-manual.pdf index 60575fde..4aa9cd39 100644 Binary files a/docu/mars-user-manual.pdf and b/docu/mars-user-manual.pdf differ