Compilation of critical bugs in stable releases of Coq: add a table

[madvorak]

Is your feature request related to a problem?

It is great that there is Compilation of critical bugs in stable releases of Coq. Unfortunately, it is currently too difficult retrieve the information about which version of Rocq is trustworty. There should be an easier way to look up "is this version free of soundness bugs".

Proposed solution

Add a table that only lists versions and provides the one bit of information about every version.

Alternative solutions

No response

Additional context

No response

[yannl35133]

Considering the average number of soundness issues found in Rocq per year, this list is mostly down to the list of the versions of Rocq that are currently supported. I don't know if that list is publically available though.