Proof code for 2023-02-28.

The code for 2023-02-28 is eddb3284-f182-42e4-b285-7d860e21cfd6.