Here is a nice monday anomaly: https://github.com/coq/coq/issues/17225
Last updated: May 28 2023 at 13:30 UTC