When writing session data to stdout or stderr, switch the relevant file
[u/mdw/putty] / doc / sshnames.but
2007-09-29 benNow that PuTTY is actually using names "@putty.projects...