Would love any feedback/suggestions from anyone on this issue for the Gitpod plugin: https://github.com/andrewcstewart/files-gitpod/issues/1