I think it would be helpful to people not using vscode to have the definition files published along side the extension on release. Making it part of the github actions release process shouldn't be too hard