TV's Frink said:
That's like a tree falling in the forest question, and it's beyond the scope of this thread.
LOL!
In all seriousness though, I hope I am not forgotten as I did contribute towards the project a few years ago.
Kidding of course.
I am not bothered what happens to the credits, a nice thank you to everyone is more than enough in my opinion. The biggest thank you will of course be knowing that our help has played a part in helping to make this wonderful enhancement/edit of a truly magnificent film!