Merge pull request #4683 from github/update-collections-${PR_ID}

✨ Autofixing renamed/removed collection items ✨

Author: Jason Meridth

collections/programming-languages/index.md

@@ -46,7 +46,7 @@ items:
 - ziglang/zig
 - HaxeFoundation/haxe
 - livecode/livecode
-- coq/coq
+- rocq-prover/coq
 - vlang/v
 - dart-lang/sdk
 - pharo-project/pharo