Merge branch 'v8.20' into v8.19 #2938

Job	Run time
client-compile	16s
Web Worker Build	9m 20s
build (ubuntu-latest, 4.14.x)	8m 21s
Opam Install	8m 13s
Nix Flake Check	47s
build (ubuntu-latest, 4.13.x)	9m 8s
build (ubuntu-latest, 4.12.x)	8m 16s
build (ubuntu-latest, 5.0.x)	9m 3s
build (ubuntu-latest, 5.1.x)	8m 23s
build (ubuntu-latest, 5.2.x)	8m 23s
build (macos-latest, 4.14.x)	8m 28s
build (Windows Latest, 4.14, windows-latest, windows-5.0: https://github.com/dra27/opam-repositor...	17m 11s
	1h 35m 49s

Provide feedback