They are also in the src area in TeX/texk/web2c/man. I see there is pdftexman.m4 as well as the .man's. Not sure what that is all about, so I think I'll let Martin and crew integrate the changes as they see fit instead of investigating. Lots of other updates would be useful too, as I mentioned. Thanks, k