Mention `sleep` in `thread.pause` description. Fixes: #4276 #12023

Job	Run time
build_js	28s
build_opam (4.14.x)	30s
build_details	3s
build_opam (5.2.x)	27s
tree_sitter_parse	31s
build_win32 (x64)	18s
build_no_depopts	19s
build_posix (debian_trixie, amd64)	18s
lezer_parse	29s
run_tests (@citest)	19s
build_posix (debian_trixie, arm64)	1s
run_tests (@doctest)	21s
build_posix (debian_bookworm, amd64)	18s
update_doc	19s
run_tests (@mediatest)	19s
build_posix (debian_bookworm, arm64)	1s
build_posix (ubuntu_oracular, amd64)	18s
build_posix (ubuntu_oracular, arm64)	1s
build_posix (ubuntu_noble, amd64)	17s
build_posix (ubuntu_noble, arm64)	1s
build_posix (alpine, amd64)	18s
build_posix (alpine, arm64)	1s
fetch_s3_artifacts	1s
build_docker	1s
build_docker_alpine_minimal	1s
update_release	1s
build_docker_alpine	1s
build_docker_minimal	1s
build_docker_release	1s
build_docker_release-minimal	1s
	6m 5s

Provide feedback