gnome-shell keyboard shortcuts (or extensions) for switching workspaces by most recently used (MRU) order?
Having recently switched to gnome, I see there's no shortcut for switch to the previously used workspace - only absolute, next/prev (+/- 1), and firs...