I'd like to say I did, but I didn't yet 😁
Pretty sure I know what it is - a weird edge case that's quite dependent on browser window size/resolution. So if you do spot it again on a desktop computer, you should be able to work around it by changing the browser size slightly.