Release notes

Stream: lean4

[Michael Stoll]

It looks like in the release notes for v4.23.0 and for v4.24..0-rc1 some code examples are truncated. E.g. in the v4.23.0 notes, the first snippet just is

variable [Field R]

and the second one is

import Mathlib

(on Linux/Firefox and Linux/Chrome).

[Eric Wieser]

I would guess that something is splitting the first paragraph by \n\n without handling matching ``` s

[Kim Morrison]

PR welcome, and a PR to fix script/release_notes.py very very welcome!