Proof code for 2020-09-25.

The code for 2020-09-25 is 860e6884-b882-4ad0-b5a3-de10a3326578.