So, I got a banner sating that workspace switcher died. I clicked on Restart in the banner. It did not restart. I rebooted the machine and logged back in. Still the switcher did not come back on. How can I restart it manually? I find no "switcher" anything in /sbin and /bin.