On Sunday, April 26, 2020, Andreas Andreakis <
andreas.andreakis@gmail.com> wrote:
Hello,
re-posting question to the dev mailing list, since no reply received in the general mailing list. This mailing list also seems a better place for this question. See below for the original mail.
Actually this is probably the worse possible list to choose. It would be better to simply ping the original post.
David J.