…and now delete the previously moved file "again" (WTF is wrong with git god damn)