Bump etc/coq-scripts from `4327aa1` to `bf7754a` #4723

Job	Run time
macOS 13 (x86_64)	3h 21m 17s
macOS 14 (arm64)	2h 4m 8s
combine-standalone	19s
publish-standalone	18s
publish-standalone (-x86_64)	20s
test-standalone (macos-13)	13s
publish-standalone (-arm64)	18s
test-standalone (macos-14)	10s
test-standalone (macos-latest)	15s
test-standalone (-x86_64, macos-13)	12s
test-standalone (-x86_64, macos-14)	12s
test-standalone (-x86_64, macos-latest)	20s
test-standalone (-arm64, macos-14)	9s
test-standalone (-arm64, macos-latest)	9s
macos-check-all	1s
	5h 28m 21s

Provide feedback