title: How can you export the Visual Studio Code extension list?
body: <p>I need to send all my installed extensions to my colleagues. How can I export them?</p>
  
  <p>The extension manager seems to do nothing... It won't install any extension.</p>