Miyazaki kind of did Heidi instead not long after Pippi fell through and that became an absolute cult classic in multiple regions while Pippi has a real-life classic already, so noteworthy for sure, but very far from a complete loss.