Windows 11 build 25116

Windows 11 build 25116 is a build of Copper, the 23H1 development semester of Windows as a service. The build number was mentioned in a comment under an issue posted on the GitHub repository of Visual Studio Code on 24 May 2022.