Us-Lot Log: 2022-12-01

Stuff we've discussed on IRC.

2022-12-01