Here is an old anomaly I bug-minimized in case anybody wants to take a look https://github.com/coq/coq/issues/3738
Last updated: Nov 29 2023 at 19:01 UTC