It has never been fixed. 😀

🙂

maybe we can open the issue now that we have a reproducer (I would like a confirmation on that repro - works for me ) ?

Yes, it should be reopened. I don't seem to have a button for that from my phone though. I'll try to remember tomorrow.

I reopened it. 🍻