protorepl 2019-10-11

@richard has joined the channel