Без малого год пользуюсь
Awesome, и только что случайно обнаружил, что сочетание Meta+Ctrl+[num] в(ы)ключает метку (aka tag, aka workspace). То есть, можно не только переключать, но и комбинировать их. Как можно было этого не знать раньше (или забыть) - ума не приложу.