These are the recent changes to the tags on the website. The website is regularly updated, but it is possible that the repository is slightly ahead.
 Jul 24, 2021
 8d33954

 Lemma 73.25.1
 Jul 23, 2021
 f157f41

 Lemma 10.117.1
 Jul 20, 2021
 d4fff1e
 Jul 20, 2021
 59bae33

 Lemma 5.23.6
 Jul 20, 2021
 2b80c69

 Lemma 21.33.6
 Jul 20, 2021
 dce26cb

 Lemma 15.121.2
 Jul 20, 2021
 21cbf20

 Definition 15.115.1
 Jul 20, 2021
 7bf801a

 Remark 58.29.8
 Jul 20, 2021
 cc1a216

 Lemma 60.19.11
 Jul 20, 2021
 6ec9cb8

 Lemma 18.42.5