Update: Deleting ~/path/to/workspace/.cache fixed the crash. Sadly I did
not keep a backup :-(

Folders in my .cache (from bash history) were:
chromium/   dconf/      fontconfig/ guile/      mozilla/    mu/         node-gyp/   pip/

Best wishes,
Arne
-- 
Unpolitisch sein
heißt politisch sein
ohne es zu merken