On 6 Apr 2021, at 10:18, Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx> wrote: > Sounds like we should update NEWS/README, then. dana, WDYT? I added a note to README. I don't think NEWS needs updating since my change only made the function behave as documented dana