On 2020-05-17, Nicola <nvitacolonna at gmail.com> wrote: > On 2020-05-17, Aditya Mahajan <adityam at umich.edu> wrote: >> Uploaded a new version with a fix. I have tried the latest beta and, indeed, it now seems to work as expected. Thanks! Nicola