Proof code for 2020-08-26.

The code for 2020-08-26 is 034b4238-f233-47af-b96e-35d324dce1ea.