xsrc/external/mit/sessreg/dist/man