title: How to restart VScode after editing extension's config?
body: <p>VScode notifies you when you open a config of an extension:</p>
  <blockquote>
  <p>remember to Restart VScode</p>
  </blockquote>
  <p><a href="https://i.stack.imgur.com/cWW5H.png" rel="noreferrer"><img src="https://i.stack.imgur.com/cWW5H.png" alt="enter image description here" /></a></p>
  <p>But it says nothing about how. They use capital letter for the <code>restart</code> word, so normally it should mean something if you emphasize an appellation. Is there some hidden restart button or a key shortcut?<br />
  How do I restart the IDE?</p>