The new file takes this one's place, at the same address.
These changes go to GitHub together as one commit:
Emptying the bin deletes these files from the site when you save. GitHub's history still keeps a copy.