Us-Lot Log: 2021-07-21

Stuff we've discussed on IRC.

2021-07-21