Hello Lionel, I hope this message finds you well.
Do you still think it is relevant to leave this bug open? It's been quite a long time since it was reported, with no reproducibility, IMHO it's very unlikely that the original issue could be targeted. Should we close this bug? Thanks, Tassia.
