I would like to use gitpod but it doesn't let you configure the editor to your preferences. Instead, it's project-based which I think is way less useful: https://www.gitpod.io/docs/config-editor/