docs: Fix Global Settings in `migrating.md` #12015

Job	Run time
build_details	4s
build_opam (4.14.x)	11s
build_js	2m 33s
build_opam (5.2.x)	11s
tree_sitter_parse	47s
update_doc	0s
build_no_depopts	6m 52s
build_posix (debian_trixie, amd64)	15m 20s
build_win32 (x64)	10m 24s
build_posix (debian_trixie, arm64)	14m 50s
lezer_parse	50s
build_posix (debian_bookworm, amd64)	15m 42s
build_posix (debian_bookworm, arm64)	13m 1s
run_tests (@citest)	13m 48s
build_posix (ubuntu_oracular, amd64)	14m 33s
run_tests (@doctest)	8m 18s
build_posix (ubuntu_oracular, arm64)	13m 41s
run_tests (@mediatest)	12m 33s
build_posix (ubuntu_noble, amd64)	15m 3s
build_posix (ubuntu_noble, arm64)	13m 56s
build_posix (alpine, amd64)	11m 32s
build_posix (alpine, arm64)	9m 5s
fetch_s3_artifacts	16s
build_docker	0s
build_docker_alpine	0s
build_docker_minimal	0s
update_release	0s
build_docker_alpine_minimal	0s
build_docker_release	0s
build_docker_release-minimal	0s
	3h 13m 30s

Provide feedback