extract algebra/ changes into separate part of the changelog

4 jobs for master in 17 minutes and 44 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #79670
fp
build-coq.8.10.2

00:09:23

passed #79669
fp-timing
build-coq.8.11.2

00:06:54

passed #79668
fp
build-coq.8.12.dev

00:17:42

passed #79671
fp
build-coq.8.9.1

00:08:52