[Cordelia McGee-Tubb, a11y] Question about accessible menus. I’ve seen several examples and they seem to be split across two implementations: One that supports separate highlighted/selected states for hover and focus — So if I had a menu A, B, C, D with keyboard focus on A and I hovered on item C, both would appear selected, and if I pressed the down arrow key, my focus would move to B. The other implementation I’ve seen has a single highlighted state — So if I have keyboard focus on A and hover on item C, my focus would jump to C and pressing the down arrow would select D. I’m wondering, which is preferable? Or does it not matter if we assume most users will navigate either by mouse or by keyboard but not both at once?