I simply added the workspace switcher. But after logout/in it is gone. All other settings are preserved.
Created attachment 272453 [details] xsession-errors
I bumped to mono-2.10.2 ad cannot reproduce it anymore.