Merge pull request microsoft#7734 from microsoft/main

Merge for 1.5.0-insiders2

Merge pull request microsoft#7695 from microsoft/main

Fix settings UI. (microsoft#7694)

Merge pull request microsoft#7658 from microsoft/1_4_1

1.4.1

Merge pull request microsoft#7612 from microsoft/main

Fix Walkthrough property (microsoft#7611)

Merge pull request microsoft#7591 from microsoft/seanmcm/1_4_0_inside…

…rs3_2

1.4.0-insiders3 2nd time

Merge pull request microsoft#7537 from microsoft/seanmmc/1_4_0_insiders2

1.4.0-insiders2

Merge pull request microsoft#7504 from microsoft/seanmcm/1_4_0_inside…

…rsMerge2

1.4.0-insiders merge2

Merge pull request microsoft#7392 from microsoft/main

Merge for 1.3.1

Merge pull request microsoft#7352 from microsoft/mimatias/r1-3-0

1.3.0 release

Merge to insiders (microsoft#7320)