Maxim, > Yes, and I agree that's a problem. > > Fortunately, the recently added search-input-file more usefully raises > an error when the file it is looking for doesn't exist, so I used that. > > It was a bit painful to hunt all the commands but in the end it works > beautifully! I pushed the result as > 3611f99affc4d2edcf4141e3022dd0d2a0b04068. > > Closing, thanks! Thank a lot. Regards, RG.