This page describes how to use the Visual Studio Code IDE (we will call it VS Code for short in this document). We selected VS Code because it is cross-platform (can be installed on many OSes like ...