From Newsgroup: rec.arts.animation

Incredibly, the obits did not really mention the 1970s short "The Little Mermaid," so I did.

https://groups.google.com/g/alt.obituaries/c/uKSYN7IR9Ss/m/aTuNTHIgAQAJ

Granted, you don't see his name, per se, in the opening credits of the short, but it WAS produced by Potterton Studios.

--- Synchronet 3.21d-Linux NewsLink 1.2