So far the Google Translate app works very well. I use it mostly for captions but with patience one can do a paragraph or two at a time, screen shot them and then stitch them together. Good for short manuals, bad for the entire history of the world. I've read that Google Translate in Firefox translates PDF pages but I've had no luck