Ditto for _doOpenWithOptionalPath() below