title: Remove file from git using Git-Extension GUI tool
body: <p>I am using the latest verion of Git-extensions on Windows 10.</p>
  
  <p>I would like to remove an already check in file from my git repo without deleting it locally.</p>
  
  <p>I can not some to find out how to do this.</p>
  
  <p>I have tried right clicking on it in the diff view, but no option is provided to remove. </p>
  
  <p>In the commit view, there is a "delete" option. I have not tried that, because I am not sure if it will delete the local copy. Is this Commit view -> Delete option essentially a remove?</p>