Us-Lot Log: 2023-06-21

Stuff we've discussed on IRC.

2023-06-21