Hey, Thank you for the ingenuous reproducer and sorry for a mere 7 years delay! Unfortunately, life happened and I couldn’t look into it until now.
I can still reproduce the problem in spite of our recent fixes. I have forwarded the bug upstream, and hopefully, one day we will take care of it. All the best, Yury
