I made some changes to the user manual. Should I now submit the mobile manual as a patch? I can rename the image directory so that everything can go into the Documentation directory. Kind regards, willem