Well, there I was, reviewing the Blu-Ray restoration of “Tora! Tora! Tora!” and casually checking out the supplementary materials, and there, in the production credit for “Hollywood Backstory — Tora! Tora! Tora!” was my name. I had totally forgotten that I’d contributed to this back in 2001. And oops, Art Wildern’s name is misspelled.