Hi folks, I'm the Oren mentioned in the story(ies) above. This comes up on HN every year or two.

Quick reference to lots more detail posted here -> https://www.quora.com/Did-Pixar-accidentally-delete-Toy-Stor...