Cloning and extending someone's long-abandoned github project?