Marco Belladelli Ok, thanks for working on this! Sorry for the duplicate. Feel free to close my reproducer PR and my issue as you see fit.