I had launched Cursor Agent on the topic which found the same conclusions, corrected in this PR:
By the way, quite funny, I also noticed the bug this weekend on my iPhone