I have seen this happen a few times yes, I don’t have a definitive reproduction though, but it’s definitely on my radar. I think it’s started few months ago after an iOS update.
I suspect something with our d-header height computation. But thats all I have for now.
If you ever get a way to constantly reproduce this, please let me know.