Include documentation scripts #9092

Job	Run time
build_details	4s
build_js	1m 42s
pre-commit	5m 10s
build_opam (4.14.x)	7m 18s
build_opam (5.0.x)	9m 32s
build_win32 (x64)	11m 21s
build_posix (debian_trixie, amd64)	3m 55s
build_no_depopts	5m 3s
build_posix (debian_bookworm, amd64)	4m 0s
build_posix (ubuntu_jammy, amd64)	4m 30s
lezer_parse	48s
build_posix (ubuntu_lunar, amd64)	4m 58s
run_tests (@citest)	2m 25s
build_posix (alpine, amd64)	6m 38s
tree_sitter_parse	2m 34s
run_tests (@mediatest)	2m 24s
update_doc	0s
fetch_s3_artifacts	0s
build_docker_minimal	0s
build_docker	0s
build_docker_alpine	0s
build_docker_alpine_minimal	0s
build_docker_release	0s
build_docker_release-minimal	0s
update_release	0s
	1h 12m 22s

Provide feedback