This should be done with a `git mv` vs. deleting and adding a new file, so that the history stays in tact.  Can you fix that?