vscode 2018-08-20

@gra has joined the channel