> So now pushed to master. Here is a patch that adds an option to use a system-dependent command to open a file: