Annoying directory that is recognized by Theia (GitPod) to export our configuration

FIXME: Make theia to recognize `gitpod` and NUKE this abomination from my repo