Recently the use of Ctrl+D to open the Edit Bookmark box (save bookmark) stopped working properly: On first press of Ctrl+D nothing happens, then if I press Ctrl+D a second time, the box appears??? The weird thing is that once the box appears with the second press, any subsequent use of Ctrl+D will work the way it should. Windows 11 with no new extensions etc.