Thanks for this. Would it be possible to open an issue directly for the
repo, so it can be investigated through the proper channel? That will mean it absolutely gets technical insight and response.
It's a bit hard, if the issue feature is disabled in github....
