Us-Lot Log: 2017-12-06

Stuff we've discussed on IRC.

2017-12-06