docs 2019-10-24

@bruceadams has left the channel