In order to get English translations of the manuals, I have taken images of the various manuals, passed them through gImageReader and Google Translate and put the results into LibreOffice. The files were then exported as a PDF and are suitable for printing on A5 paper. This is a ongoing operation and there maybe updates.