Add changelog entry and make small tweaks

2 jobs for !284 with extra-lemmas in 5 minutes and 13 seconds (queued for 7 seconds)
latest merge request