Us-Lot Log: 2018-11-13

Stuff we've discussed on IRC.

2018-11-13