Windows 10 build 16257 (rs prerelease)

Windows 10 build 16257 is the second known public build of Windows 10 version 1803 compiled on 2017-07-28 and released on 2017-08-02 to Insiders.

Changes

 * Eye Control
 * Microsoft Edge receives improvements
 * Console improvements
 * Input improvements
 * Windows Defender Application Guard improvements
 * Bug fixes