Hey there!
Thank you for raising this. I would like to cross-post it as a GitHub issue here:
as it will be the most effective way to handle that cause we will be able to work with repo maintainers directly. Once you have a link to the issue, you can share it here and we’ll ping them. Thank you!