2019-12-11 Secure Remote Development with VS Code