I take this opportunity to clarify how I insert the images: I use 144
Dpi PNG because, in my opinion, they are the minimum acceptable
quality. By minimum quality I mean: being able to easily read the
smallest text on the screen. If we make a version for printing we will
have to replace all the images. I propose to postpone this work until
after the completion of the manual.
What do you think? I'm fine with any solution.