On Fri, Sep 13, 2024 at 10:44:55AM +0200, Pavel Sanda wrote: > On Thu, Sep 12, 2024 at 11:32:55AM +0200, Daniel wrote: > > Are there any alternatives in the pipe? > > Not really, but I can improve the description to be more straightforward. Just did that. JMarc, am I right that messages from unsubscribed users make it to the dev list as well? Pavel