Here is a nice monday anomaly: https://github.com/coq/coq/issues/17225
Last updated: Dec 07 2023 at 09:01 UTC