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.