There is one more easy solution, I find.
That will stop non-techies like me from having nightmares:
browse to the directory in your browser.
Then select text and put it in Word or a text editor.
© 2016, O’Reilly Media, Inc.
All trademarks and registered trademarks appearing on oreilly.com are the property of their respective owners.