Bump etc/coq-scripts from `4327aa1` to `9479734` #781

Job	Run time
docker-master	1h 28m 45s
publish-standalone-dry-run	19s
test-standalone (master, dev, default)	1m 28s
build-wasm-of-ocaml (master, 4.14.1)	20m 46s
generated-files (master)	23m 31s
validate-docker-master	2m 55s
build-js-of-ocaml (master, 4.11.1)	9m 1s
standalone-haskell (master)	47m 39s
test-amd64	2h 19m 35s
deploy-js-wasm-of-ocaml	37s
docker-check-all	1s
	5h 34m 37s

Provide feedback