The changelog looks a bit off: https://coq.github.io/doc/v8.16/refman/changes.html
The table of contents is followed by empty headers followed by the content?
isn't it just that "unreleased changes" is empty?
Yes, that's normal
If you look at https://coq.github.io/doc/V8.16+rc1/refman/changes.html instead, it doesn't have this issue.
Last updated: Feb 02 2023 at 15:04 UTC