Commit 55bae6825ed2058255a512a73293e3cdff0e78a4

Behdad Esfahbod 2018-09-24T10:43:06

[docs] A few improvements If we wrote just this much every day...