It think it would be best to ask in an issue at
That said, if you make a PR I don’t see why anyone would object to merging it; but even if it does not end up being merged you can just put it in its own package.
It think it would be best to ask in an issue at
That said, if you make a PR I don’t see why anyone would object to merging it; but even if it does not end up being merged you can just put it in its own package.