Revert "Prefer ipv4 by default." (#3626) #9699

Job	Run time
build_details	2s
pre-commit	3m 1s
build_js	1m 27s
build_no_depopts	6m 38s
lezer_parse	51s
update_doc	11m 14s
tree_sitter_parse	54s
build_opam (4.14.x)	4m 52s
build_opam (5.0.x)	4m 54s
build_win32 (x64)	10m 49s
run_tests (@citest)	12m 59s
build_posix (debian_trixie, amd64)	15m 45s
run_tests (@doctest)	8m 44s
build_posix (debian_bookworm, amd64)	14m 42s
run_tests (@mediatest)	12m 47s
build_posix (ubuntu_jammy, amd64)	15m 32s
build_posix (ubuntu_lunar, amd64)	15m 22s
build_posix (alpine, amd64)	11m 34s
fetch_s3_artifacts	25s
build_docker_alpine	0s
update_release	0s
build_docker	0s
build_docker_minimal	0s
build_docker_alpine_minimal	0s
build_docker_release	0s
build_docker_release-minimal	0s
	2h 32m 32s

Provide feedback