Comment on Olivero: Header menu should not close if menu item has focus