Ok, removed chain tenisoner, gasket looked fine. Didn't seem to be the source of my leak.
However the little cap screw at the end of the tensioner was loose. That might have been my leaking spot.
Anyway, I replaced the the gasket. But It was tricky to reset the tensioner, It took me a couple of minutes to find out how it worked. There was this little screwdriver slot under the cap screw at the end, twisted it and in went the tensioner.
But as soon as I removed my screwdriver the plunger sprung back to its fully extended position. So I resetted the tensioner, held the plunger in position while I inserted a slighty longer screw in the cap hole. Lightly torqued it prevented the plunger internals from turning, thus keeping the plunger from extending while I mounted the tensioner assembly.
Well, all done now. I haven't started it yet, so I don't know if it did the trick.
Thanks for your time.