As a canal-dweller for a long long time this is obviously a sad loss to me. I didnt know Jeff very well, though I've been a friend and collaborator with Benny the Whale for many a long year. Their work in keeping the memories green of the the old canal times was appreciated by all with great love.
RIP