changelog: Reference the opam coq repository ingestion

Well, it will be true during the day so i'll wait for it to finish. I'm using those diffs as a kind of "heads up".

Related to swh/infra/sysadm-environment#3717 (closed)

Test Plan

make -C docs happy

---

Migrated from D6647 (view on Phabricator)