Ali Caglayan

To demonstrate how broken things are currently, when doing something like: ```coq Fail Check (Set : Set). ``` Doesn't output anywhere I can find.

Hmm it seems to be working now that I restarted VSCoq. I am not sure what happened there.

Anyway, my point still stands. We should have a buffer that collects all of these and shows the newest and make that the default.

@Zimmi48 I checked the DOC TODO's and they seem to be from 8.4. Would submitting a PR removing the TODO be sufficient?

> Did you check whether the features mentioned in the changelog for 8.4 were all documented? Nope. Or at least, I don't remember.

@ejgallego What needs to be fixed?

cc @ejgallego This is likely due to #15560. What should the correct fix be? Update coqdev-ocamldebug?

Should coqdev-ocamldebug be using the shim instead then?

Shouldn't we think about adding these instances as they appear rather than accumulating them in the same file. It doesn't seem to scale too well.

Yes, perhaps it is somewhat orthogonal to this PR. My only worry is the increased number of deps for the classes files. My question above is really to @coq/stdlib-maintainers.