protorepl 2018-12-08

@mdp has joined the channel