Just to mention: the fact that CodeRoad is in the Extensions tab, means it is in the .gitpod.yml file. Also, syncing the extension would add it to your VSCode user settings (all linked environments would get CodeRoad installed - locally, CodeSpaces, any other cloud IDE).