On Sun, Aug 27, 2023, 22:59 Dmitry Gutov <dmitry@gutov.dev> wrote:


Or those users would just use the mailing lists (I'm guessing those
won't go away anytime soon). Or email Joao directly again.

You can't get enough of me, it seems :-)  Why have I popped up here 
again, what's the relation?