All
I have scanned the document in the title of this message. Colour mode was used for pages where red bold text was used to highlight commands.
Two searchable PDF files are in the directory /Jon/147407[...] under the Intel_devel directory on Bill's Google Drive.
The smaller file (11Mb) has the suffix 'LowKB'. This was saved with 'Medium' PDF quality and with page images that were automatically adjusted in the process of OCR and export as a PDF (original pages images were JPGs).
The larger file (128Mb) is intended for anyone who envisages re-printing the manual or sections. The PDF quality was set to High and the original page images were to be preserved.
I hope this is useful for those interested in iRMX.
Regards
Jon