editors/vscode: update to 1.100.2
Changelog: https://code.visualstudio.com/updates/v1_100
Reported by: GitHub (watch releases)