Ok, after reading the docs with more detail, it seems that the benefit of contributing to that repo is just: - Having a centralized place to look for web types. - They push them to npm as packages: https://www.npmjs.com/search?q=%40web-types But there isn't any real "automatic integration" gained by having them there. You can just manually create (copy) the web types JSON file on you project, create a package.json to point to it, and you are good to go. But it would be good if anybody from JetBrains could confirm.