in OVERVIEW, the last used window SHOULD BE HIGHLIGHTED regardless of mouse pointer

In gnome-overview, with keyboard navigation between open windows, when you want to select for example the window on the right from the last used window, you have to press the DOWN KEY (not the RIGHT KEY) to move focus to that window...so every time you have to FIRST press the DOWN KEY. (Unless mouse pointer is not hovering a window)

So I think that if mouse pointer is not hovering any window, focus should be on the last used window.
If hovering with mouse over windows should move the focus from windows is also debatable.