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.