vscode 2020-04-19

@gko has joined the channel