Good to know, thanks. Should I open an issue on Git? I didn’t find the exact piece of code yet for a PR.