random 2018-10-31

@aengelberg has joined the channel