Please do not put unresolved questions in comments - they tend to stay there and collect dust. ;-)

Could you please open a ticket in GitHub instead?