Erwin Bonsma - 2012-09-14

Thanks for the suggestion. Your advice is definitely sound. Nevertheless, I prefer not to have hard-coded tie-ins to specific search engines (or other apps). Also, the recently added ability to copy the path of a selected file already makes it quite easy to search for information about specific files in a search engine of your choice.