User Guide in PDF?

[simoncn]

(23-09-2014 09:52)Mike48 Wrote:  I've given up trying to find a suitable tool. They free or inexpensive ones all translate only one page at a time. I did find one that claims to translate an entire site -- with links -- but that costs > US$300.

Mike

Thanks for looking into this. At some point, I hope to add an index to the online manual. I also find it works reasonably well to use Google to search the online manual for a word or phrase.