Sounds good!
But the reason for my question is that we put bugs that have been fixed in #bugs-and-issues:resolved-bugs. Unfortunately (or maybe fortunately), I never saw this bug beforehand. So I wanted to verify with someone who has seen it to see if it’s fixed.