Us-Lot Log: 2023-07-12

Stuff we've discussed on IRC.

2023-07-12