On Tue, 13 Oct 2020 at 14:05, Roman Perepelitsa <roman.perepelitsa@gmail.com>
wrote:

> zsh-workers is the correct mailing list for this discussion.
>

Thanks. I wasn't sure if my first email had gone through, because I
couldn't find it in the archives. But I'll send another message about that.