Hello! On Wed, Sep 04, 2024 at 02:05:03PM -0700, John Moore wrote: > Is this list moderated? It's a public list where subscribers can post directly. Offtopic posts are not welcome, and actions are taken to prevent offtopic posters from doing so again. Pre-moderation might be an option if offtopic posts will become an issue. -- Maxim Dounin http://mdounin.ru/