Relevant: https://github.com/gitpod-io/gitpod/issues/800#issuecomment-587381366
Configuration directory for theia
Theia is also used by gitpod
