K 10 svn:author V 6 julian K 8 svn:date V 27 2015-05-26T02:18:10.693226Z K 7 svn:log V 139 MFH: r283105 Only several years late, catch the psignal man page up to the fact that psignal has been renamed to kern_psignal since 9.0. END