This just makes more sense to me π It'll also be easier to find given the community repo is smaller than `gitpod-io` https://github.com/gitpod-io/gitpod/issues/6877