filefucker
Git seems to recognise the filename changed now

+ hopefully fixed…