reorganize and fix changelog

4 jobs for master in 20 minutes and 15 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #79842
fp
build-coq.8.10.2

00:09:44

passed #79841
fp-timing
build-coq.8.11.2

00:07:17

passed #79840
fp
build-coq.8.12.dev

00:20:15

passed #79843
fp
build-coq.8.9.1

00:08:53