git mv back, there was no history (!?!)
