protorepl 2019-11-27

@richard has left the channel