Hi Keith, On 11 Oct 2020, at 21:59, Keith Packard wrote: >> - Non-interactive, reading script from stdin or a file > I think this is just reading from a file? Yep, you're right. Best, Misha.