Augment error message when opening files for external tools - #899

Augment error message when opening files for external tools#899

pkgw merged 9 commits into

tectonic-typesetting:mastertectonic-typesetting/tectonic:masterfrom

matz-e:better-external-tool-errorsmatz-e/tectonic:better-external-tool-errorsCopy head branch name to clipboard