uncomplicate 2020-12-11

@anders has joined the channel