Well, then, I happily stand corrected. I was under the impression that man page maintenance was discouraged (somewhere on the GNU site the words "takes away from active development" occur). I've been thinking of making a new .../docs/extensions directory. Perhaps .../docs/man3 is in order too. Phil