Windows 11 build 22419

Windows 11 build 22419 is a build of Windows 11 2022 Update. The build number was mentioned in an issue posted to the GitHub repository for the Jupyter extension for Visual Studio Code on 21 July 2021.