Thank you for your kind words, Remko. I think the best way to submit the feedback is via GitHub facilities. If it is something in general, go with Discussions, and if you found some concrete errors, you can use Issues, possibly followed by Pull requests.
Tnx, Damir Murat On 31 Jan 2021, 13:22 +0100, Remko Popma <remko.po...@gmail.com>, wrote: > Wow, very extensive. Impressive! > How would you like feedback? > As GitHub issues/pull requests, on this mailing list, or some other way? > > Remko >
