Merge release/dev17.8 to main#16164

Merged

vzarytovskii merged 7 commits intomainfrom

merges/release/dev17.8-to-main

Dec 4, 2023

Commits on Oct 23, 2023

Turn 3560 off by default, since it's hugely breaking (#16160)
vzarytovskii
authored

Commits on Oct 24, 2023

Merge branch 'main' into merges/release/dev17.8-to-main
KevinRansom
authored

Commits on Dec 4, 2023

Merge branch 'main' into merges/release/dev17.8-to-main
0101
authored