Jan Schaumann wrote:
> George Georgalis <george@galis.org> wrote:
>  
> > ==> .ksh_logout <==
> 
> It appears that ksh(1) does not mention this file.  Can you file a PR
> regarding this, please?

Do you want to document that it does NOT use this file? ;)

$ grep -rli logout src/bin/ksh

shows nothing, neither does a trace.

-- 
Christian