On 19/01/2022 10:59, Paul Spooren wrote: > Please vote: > > [ ] Yes, please start using GitHub issues > [ ] No, please find another solution I'm neutral on this particular topic. Cheers, Christian