A macOS utility for navigating and managing virtual desktops by labels