FIX (deleting a file): local copies of files now properly delete when not yet saved to GitHub