Investigate using of GitLab Web-IDE for remote development
GitLab is in the process of transitioning to a VS-Code-based Web-IDE which supports remote development, c.f. https://docs.gitlab.com/ee/user/project/remote_development/ We might want to investigate this as an option to become fully indepedent of local clients if we ca stand up the necessary server-side infrastructure.