Thank you for the report.
I and a few other commiters will look into the list and start working on more critical parts (i.e., license problems of main git repositories) first.
Cheers, MyungJoo
© 2023 Groups.io