Yes, that's the one. I always remembered it as print2pdf, but I'm glad you were able to find it despite my error. And thanks for posting the link -- I have a feeling that others would be interested in it, too.